Difference between revisions of "Partition of an interval"

m
m
Line 1: Line 1:
A '''Partition of an interval''' is a way to formalise the intutive notion of 'infinitesimal parts' of an interval.  
+
A '''partition of an interval''' is a division of an [[interval]] into several disjoint sub-intervals.  Partitions of intervals arise in [[calculus]] in the context of [[Riemann integral]]s.
  
 
==Definition==
 
==Definition==
Let <math>[a,b]</math> be an interval of real numbers
+
Let <math>[a,b]</math> be an interval of [[real number]]s.
  
A '''Partition''' <math>\mathcal{P}</math> is defined as the ordered n-tuple of real numbers <math>\mathcal{P}=(x_0,x_1,\ldots,x_n)</math> such that
+
A '''partition''' <math>\mathcal{P}</math> is defined as the ordered <math>n</math>-[[tuple]] of real numbers <math>\mathcal{P}=(x_0,x_1,\ldots,x_n)</math> such that
 
<math>a=x_0<x_1<\ldots<x_n=b</math>
 
<math>a=x_0<x_1<\ldots<x_n=b</math>
  
 
===Norm===
 
===Norm===
The '''Norm''' of a partition <math>\mathcal{P}</math> is defined as <math>\|\mathcal{P}\|=\sup\{x_i-x_{i-1}\}_{i=1}^n</math>
+
The '''norm''' of a partition <math>\mathcal{P}</math> is defined as <math>\|\mathcal{P}\|=\sup\{x_i-x_{i-1}\}_{i=1}^n</math>
  
 
===Tags===
 
===Tags===
Line 19: Line 19:
 
==See also==
 
==See also==
 
*[[Integral]]
 
*[[Integral]]
*[[Reimann sum]]
+
*[[Riemann sum]]
 
*[[Gauge]]
 
*[[Gauge]]
  
 
{{stub}}
 
{{stub}}

Revision as of 12:05, 7 May 2008

A partition of an interval is a division of an interval into several disjoint sub-intervals. Partitions of intervals arise in calculus in the context of Riemann integrals.

Definition

Let $[a,b]$ be an interval of real numbers.

A partition $\mathcal{P}$ is defined as the ordered $n$-tuple of real numbers $\mathcal{P}=(x_0,x_1,\ldots,x_n)$ such that $a=x_0<x_1<\ldots<x_n=b$

Norm

The norm of a partition $\mathcal{P}$ is defined as $\|\mathcal{P}\|=\sup\{x_i-x_{i-1}\}_{i=1}^n$

Tags

Let $\mathcal{P}=\{x_0,x_1,\ldots,x_n\}$ be a partition.

A Tagged partition $\mathcal{\dot{P}}$ is defined as the set of ordered pairs $\mathcal{\dot{P}}=\{([x_{i-1},x_i],t_i)\}_{i=1}^n$.

Where $x_{i-1}<t_i<x_i\forall t_i$. The points $t_i$ are called the Tags.

See also

This article is a stub. Help us out by expanding it.