Multiplicity-one theorem: Difference between revisions
Jump to navigation
Jump to search
en>GoingBatty →Definition: bad link repair using AWB (8023) |
en>MZMcBride |
||
| Line 1: | Line 1: | ||
In [[real analysis]], a branch of mathematics, '''Cousin's theorem''' states that: | |||
:If for every point of a closed region (in modern terms, "[[closed set|closed]] and [[bounded (set theory)|bounded]]") there is a circle of finite radius (in modern term, a "[[neighbourhood (mathematics)|neighborhood]]") , then the region can be divided into a finite number of subregions such that each subregion is interior to a circle of a given set having its center in the subregion.<ref name="h1">Hildebrandt 1925, p. 29</ref> | |||
This result was proved and established by Pierre Cousin, a student of [[Henri Poincaré]], in 1895, and it is an extension of the original [[Heine–Borel theorem]] on [[compactness]] for arbitrary [[set cover|covers]] of any [[compact space|compact]] subsets of <math>\mathbb{R}^n</math>. However, Pierre Cousin did not receive any credit. '''Cousin's theorem''' was generally attributed to [[Henri Lebesgue]] and renamed as '''Borel–Lebesgue theorem''', who was aware of this result in 1898 and proved this in his dissertation in 1903.<ref name="h1"/> | |||
Nowadays, it is stated as: | |||
:Let <math>\mathcal{C}</math> be a full cover of [''a'', ''b''], that is, a collection of closed subintervals of [''a'', ''b''] with the property that for every ''x''∈[''a'', ''b''], there exists a ''δ''>0 so that <math>\mathcal{C}</math> contains all subintervals of [''a'', ''b''] which contains ''x'' and length smaller than ''δ''. Then there exists a partition {''I<sub>1</sub>'', ''I<sub>2</sub>'',...,''I<sub>n</sub>''} of non-overlapping intervals for [''a'', ''b''], where ''I<sub>i</sub>''=[''x<sub>i-1</sub>'', ''x<sub>i</sub>'']∈<math>\mathcal{C}</math> and ''a=x<sub>0</sub> < x<sub>1</sub> <...< x<sub>n</sub>=b'' for all ''1≤i≤n''. | |||
Further, '''Cousin's theorem''' is mainly only used in [[Henstock–Kurzweil integral]] and is often called '''Fineness Theorem''' or [[Cousin's lemma]]. It can be stated as: | |||
:If ''I'' := [''a'', ''b''] ⊆ '''R'''<sup>''n''</sup> is a [[degeneracy (mathematics)|nondegenerate]] [[compact space|compact]] interval and ''δ'' is any gauge defined on ''I'', then there always exists a tagged partition of ''I'' that is ''δ''-fine.<ref name="b1">Bartle 2001, p. 11</ref> | |||
==Notes== | |||
{{Reflist}} | |||
==References== | |||
{{refbegin}} | |||
*Hildebrandt, T. H. (1925). ''The Borel Theorem and its Generalizations'' In J. C. Abbott (Ed.), The Chauvenet Papers: A collection of Prize-Winning Expository Papers in Mathematics. Mathematical Association of America. | |||
*Raman, M. J. (1997). ''Understanding Compactness: A Historical Perspective'', Master of Arts Thesis. University of California, Berkeley. | |||
*Bartle, R. G. (2001). ''A Modern Theory of Integration'', Graduate Studies in Mathematics '''32''', American Mathematical Society. | |||
{{refend}} | |||
{{mathanalysis-stub}} | |||
[[Category:Real analysis]] | |||
Revision as of 08:59, 24 December 2012
In real analysis, a branch of mathematics, Cousin's theorem states that:
- If for every point of a closed region (in modern terms, "closed and bounded") there is a circle of finite radius (in modern term, a "neighborhood") , then the region can be divided into a finite number of subregions such that each subregion is interior to a circle of a given set having its center in the subregion.[1]
This result was proved and established by Pierre Cousin, a student of Henri Poincaré, in 1895, and it is an extension of the original Heine–Borel theorem on compactness for arbitrary covers of any compact subsets of . However, Pierre Cousin did not receive any credit. Cousin's theorem was generally attributed to Henri Lebesgue and renamed as Borel–Lebesgue theorem, who was aware of this result in 1898 and proved this in his dissertation in 1903.[1]
Nowadays, it is stated as:
- Let be a full cover of [a, b], that is, a collection of closed subintervals of [a, b] with the property that for every x∈[a, b], there exists a δ>0 so that contains all subintervals of [a, b] which contains x and length smaller than δ. Then there exists a partition {I1, I2,...,In} of non-overlapping intervals for [a, b], where Ii=[xi-1, xi]∈ and a=x0 < x1 <...< xn=b for all 1≤i≤n.
Further, Cousin's theorem is mainly only used in Henstock–Kurzweil integral and is often called Fineness Theorem or Cousin's lemma. It can be stated as:
- If I := [a, b] ⊆ Rn is a nondegenerate compact interval and δ is any gauge defined on I, then there always exists a tagged partition of I that is δ-fine.[2]
Notes
43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.
References
- Hildebrandt, T. H. (1925). The Borel Theorem and its Generalizations In J. C. Abbott (Ed.), The Chauvenet Papers: A collection of Prize-Winning Expository Papers in Mathematics. Mathematical Association of America.
- Raman, M. J. (1997). Understanding Compactness: A Historical Perspective, Master of Arts Thesis. University of California, Berkeley.
- Bartle, R. G. (2001). A Modern Theory of Integration, Graduate Studies in Mathematics 32, American Mathematical Society.