一様収束
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/07/02 15:21 UTC 版)
数学の一分野である解析学において、一様収束（いちようしゅうそく、英: uniform convergence）とは、各点収束よりも強い収束概念である。関数列 (fn) が極限関数 f に一様収束する (converge uniformly) とは、fn(x) が f(x) へ収束する速さが x に依らないということである。
連続性やリーマン可積分性といった性質は、一様収束極限には引き継がれるが、各点収束極限に引き継がれるとは限らない。これは一様収束の重要性を浮かび上がらせている。
定義
S を集合とし、各自然数 n に対し fn : S → R を実数値関数とする。関数列 (fn)n∈N が極限 f: S → R に一様収束するとは、任意の ε > 0 に対し、ある自然数 N が存在して、すべての x ∈ S とすべての n ≥ N に対して |fn(x) − f(x)| < ε が成り立つことである。
概一様収束
関数の定義域が測度空間 E であれば、関連概念である概一様収束 (almost uniform convergence) が定義できる。関数列 (fn) が E 上概一様収束するとは、すべての δ > 0 に対して、測度が δ よりも小さい可測集合 Eδ が存在して、関数列 (fn) が E − Eδ 上一様収束することである。言い換えれば、概一様収束は、補集合上関数列が一様収束になるようないくらでも小さい測度の集合が存在することを意味する。
列の概一様収束は、名前から誤って予想されるかもしれないが、列がほとんどいたるところ一様収束することを意味するわけではないことに注意する。
エゴロフの定理は測度有限の空間上ほとんどいたるところ収束する関数列は同じ集合上概一様収束もすることを保証する。
概一様収束ならばほとんどいたるところ収束および測度収束である。
関連項目
- Modes of convergence (annotated index)
- ディニの定理
脚注
- ^ Rudin, Walter. Principles of Mathematical Analysis Third edition. 1976. McGraw-Hill International editions.
参考文献
- Konrad Knopp, Theory and Application of Infinite Series; Blackie and Son, London, 1954, reprinted by Dover Publications, ISBN 0-486-66165-2.
- G. H. Hardy, Sir George Stokes and the concept of uniform convergence; Proceedings of the Cambridge Philosophical Society, 19, pp. 148–156 (1918)
- Bourbaki; Elements of Mathematics: General Topology. Chapters 5–10 (Paperback); ISBN 0-387-19374-X
- Walter Rudin, Principles of Mathematical Analysis, 3rd ed., McGraw–Hill, 1976.
- Gerald Folland, Real Analysis: Modern Techniques and Their Applications, Second Edition, John Wiley & Sons, Inc., 1999, ISBN 0-471-31716-0.
- William Wade, An Introduction to Analysis , 3rd ed., Pearson, 2005
外部リンク
- Hazewinkel, Michiel, ed. (2001), "Uniform convergence", Encyclopaedia of Mathematics, Springer, ISBN 978-1-55608-010-4。
- Uniform convergence - PlanetMath.org（英語）
- Limit point of function - PlanetMath.org（英語）
- Converges uniformly - PlanetMath.org（英語）
- Convergent series - PlanetMath.org（英語）
- Graphic examples of uniform convergence of Fourier series from the University of Colorado
一様収束
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/07/13 07:46 UTC 版)
詳細は「一様収束」を参照 (f1, f2, ...) を関数列とする。関数項級数 ∑ n = 1 ∞ f n {\displaystyle \sum _{n=1}^{\infty }f_{n}} が、関数 f に一様収束する (converge uniformly) とは s n ( x ) = ∑ k = 1 n f k ( x ) {\displaystyle s_{n}(x)=\sum _{k=1}^{n}f_{k}(x)} で定義される部分和関数列 (sn) が f に一様収束することを言う。 比較判定法の関数項無限級数における対応物が存在して、ワイエルシュトラスのM判定法と呼ばれる。
※この「一様収束」の解説は、「収束級数」の解説の一部です。
「一様収束」を含む「収束級数」の記事については、「収束級数」の概要を参照ください。
- 一様収束のページへのリンク
