Sequences and series of functions are crucial in analysis, building on what we've learned about real-valued sequences. They help us understand how functions behave as limits, which is key for many math and physics applications.

Pointwise and uniform convergence are two ways functions can converge. Pointwise is when functions get closer at each point, while uniform means they get closer everywhere at the same rate. This distinction affects properties like and integration.

Pointwise vs Uniform Convergence

Definitions and Key Differences

Top images from around the web for Definitions and Key Differences
Top images from around the web for Definitions and Key Differences
  • of a {fn} to a limit function f
    • For every x in the domain and for every ε > 0, there exists an N (depending on x and ε) such that |fn(x) - f(x)| < ε for all n ≥ N
    • N may vary with x (different N for each x)
  • Uniform convergence of a sequence of functions {fn} to a limit function f
    • For every ε > 0, there exists an N (depending only on ε) such that |fn(x) - f(x)| < ε for all x in the domain and all n ≥ N
    • N is independent of x (same N for all x)
  • Main distinction between pointwise and uniform convergence
    • Dependence of N on x
      • Pointwise convergence: N may vary with x
      • Uniform convergence: N is independent of x

Implications and Examples

  • Uniform convergence implies pointwise convergence, but the converse is not true in general
    • If a sequence of functions converges uniformly, it also converges pointwise to the same limit function
    • Counterexample: fn(x) = xⁿ on [0, 1] converges pointwise but not uniformly
  • Uniform convergence preserves certain properties of the limit function under appropriate conditions
    • Continuity
  • Examples of sequences with different convergence properties
    • fn(x) = 1/n converges uniformly to 0 on any bounded interval
    • fn(x) = sin(nx)/n converges pointwise to 0 on ℝ but not uniformly

Proving Convergence of Function Sequences

Pointwise Convergence

  • To prove pointwise convergence
    • Show that for every x in the domain and ε > 0, there exists an N (possibly depending on x and ε) such that |fn(x) - f(x)| < ε for all n ≥ N
    • Approach: Fix x, find N that works for the given ε
  • To disprove pointwise convergence
    • Find an x in the domain and an ε > 0 such that for every N, there exists an n ≥ N with |fn(x) - f(x)| ≥ ε
    • Approach: Fix x, show that no N works for some ε

Uniform Convergence

  • To prove uniform convergence
    • Show that for every ε > 0, there exists an N (independent of x) such that |fn(x) - f(x)| < ε for all x in the domain and all n ≥ N
    • Approach: Find N that works for all x simultaneously
  • To disprove uniform convergence
    • Find an ε > 0 such that for every N, there exist an x in the domain and an n ≥ N with |fn(x) - f(x)| ≥ ε
    • Approach: Show that no N works for all x simultaneously
  • Common techniques for proving or disproving convergence
    • Definition

Relationship Between Convergence Types

  • Uniform convergence implies pointwise convergence
    • If {fn} converges uniformly to f, then {fn} converges pointwise to f
    • Uniform convergence is a stronger condition than pointwise convergence
  • Pointwise convergence does not imply uniform convergence
    • There exist sequences of functions that converge pointwise but not uniformly
    • Example: fn(x) = xⁿ on [0, 1] converges pointwise to f(x) = 0 for x ∈ [0, 1) and f(1) = 1, but not uniformly
  • Uniform convergence preserves certain properties of the limit function
    • Continuity: If {fn} is a sequence of continuous functions converging uniformly to f, then f is continuous
    • Integrability: If {fn} is a sequence of integrable functions converging uniformly to f, then f is integrable and lim(n→∞) ∫fn = ∫f
    • Differentiability: If {fn} is a sequence of differentiable functions and {fn'} converges uniformly to g, then f is differentiable and f' = g

Identifying Limit Functions

Pointwise Convergent Sequences

  • The limit function f of a pointwise convergent sequence {fn} is defined by f(x) = lim(n→∞) fn(x) for each x in the domain
    • Evaluate the limit of fn(x) as n → ∞ for each x
    • The limit may depend on x
  • The limit function of a pointwise convergent sequence may not inherit properties from the sequence
    • Continuity, differentiability, or integrability may not be preserved
    • Example: fn(x) = xⁿ on [0, 1] converges pointwise to a discontinuous function

Uniformly Convergent Sequences

  • The limit function f of a uniformly convergent sequence {fn} is also given by f(x) = lim(n→∞) fn(x) for each x in the domain
    • Evaluate the limit of fn(x) as n → ∞ for each x
    • The limit is independent of x
  • The limit function of a uniformly convergent sequence inherits properties from the sequence under appropriate conditions
    • Continuity, differentiability, and integrability are preserved
    • Example: fn(x) = 1/n converges uniformly to f(x) = 0, which is continuous, differentiable, and integrable
  • In some cases, the limit function may have a closed-form expression
    • Polynomial, exponential, or trigonometric function
    • Example: fn(x) = (1 + x/n)ⁿ converges uniformly to f(x) = eˣ on any bounded interval

Key Terms to Review (20)

Arzelà–Ascoli Theorem: The Arzelà–Ascoli Theorem is a fundamental result in functional analysis that characterizes the compactness of a family of continuous functions in terms of pointwise convergence and uniform equicontinuity. It provides criteria to determine whether a sequence or family of functions converges uniformly on a compact space, linking concepts of compactness, convergence, and continuity in analysis.
Boundedness: Boundedness refers to the property of a set or function being contained within specific limits. It means that there exists a number that serves as an upper and lower limit, ensuring that all elements stay within this range. Understanding boundedness is essential for analyzing various mathematical concepts, as it relates to integrability, continuity, and convergence, providing crucial insights into the behavior of functions and sequences.
Cauchy Criterion: The Cauchy Criterion states that a sequence is convergent if and only if it is a Cauchy sequence, meaning that for every positive number $$ heta$$, there exists a natural number $$N$$ such that for all natural numbers $$m, n > N$$, the absolute difference between the terms is less than $$ heta$$. This concept helps in analyzing convergence without necessarily knowing the limit, linking it to various properties of functions, sequences, and series.
Cauchy sequence: A Cauchy sequence is a sequence of numbers where, for every positive number ε, there exists a natural number N such that for all m, n greater than N, the distance between the m-th and n-th terms is less than ε. This property essentially means that the terms of the sequence become arbitrarily close to each other as the sequence progresses, which is crucial in discussing convergence and completeness in mathematical analysis.
Continuity: Continuity refers to the property of a function that intuitively means it can be drawn without lifting a pen from the paper. A function is considered continuous at a point if the limit of the function as it approaches that point equals the function's value at that point. This concept is essential for various mathematical techniques, such as evaluating integrals, applying rules for limits, and determining convergence properties of sequences.
Continuous Function: A continuous function is a type of function where small changes in the input result in small changes in the output. This means that as you approach a certain point on the function, the values of the function get closer and closer to the value at that point. This concept connects deeply with various mathematical ideas, such as integrability, differentiation, and limits, shaping many fundamental theorems and properties in calculus.
Convergence in Distribution: Convergence in distribution refers to a type of convergence of random variables where the cumulative distribution functions (CDFs) converge at all points where the limiting CDF is continuous. This concept is important because it allows us to understand how the behavior of a sequence of random variables relates to a limiting random variable, often when working with large sample sizes or approximations in probability theory.
Differentiability: Differentiability refers to the ability of a function to have a derivative at a given point, which means it has a defined tangent line at that point. This concept is essential in understanding how functions behave and change, as it connects to various rules and theorems that help analyze function limits, approximations, and convergence. When a function is differentiable at a point, it implies certain smoothness and predictability in its behavior around that point.
Equicontinuity: Equicontinuity is a property of a family of functions that ensures they all change at a uniform rate as their input varies. It provides a way to control the continuity of functions collectively, making it possible to establish limits and convergence properties uniformly across the family. This concept is essential for analyzing how sequences of functions behave, particularly when discussing convergence and continuity in more general terms.
Functional Analysis: Functional analysis is a branch of mathematical analysis that deals with the study of vector spaces and the linear operators acting upon them. It extends concepts from linear algebra and calculus to infinite-dimensional spaces, providing a framework for understanding the behavior of functions and their properties in various contexts. This discipline is crucial for analyzing convergence, completeness, and the interplay between various mathematical structures, connecting deeply with supremum and infimum concepts, completeness of sequences, and convergence types.
Infimum: The infimum, or greatest lower bound, of a set is the largest value that is less than or equal to every element in that set. This concept is critical in understanding limits and bounds of sequences and sets, particularly in the context of completeness, as it helps establish the existence of limits for monotone sequences and plays a key role in analyzing convergence.
Integrability: Integrability refers to the property of a function that allows it to be integrated over a given interval. A function is integrable if the area under its curve can be determined accurately, which is a fundamental aspect of mathematical analysis. This concept is crucial when discussing convergence, particularly when dealing with sequences of functions that converge pointwise or uniformly.
Limit of a sequence: The limit of a sequence is the value that the terms of the sequence approach as the index goes to infinity. Understanding this concept is essential for analyzing the behavior of sequences and helps in deriving important results related to convergence, continuity, and differentiability in mathematical analysis.
Lipschitz Continuous: A function is called Lipschitz continuous if there exists a constant $L \geq 0$ such that for all pairs of points $x_1$ and $x_2$ in its domain, the absolute difference in their function values is bounded by $L$ times the distance between those points: $$|f(x_1) - f(x_2)| \leq L |x_1 - x_2|$$. This concept relates closely to convergence, as Lipschitz continuous functions can ensure that sequences converge uniformly under certain conditions.
Pointwise Convergence: Pointwise convergence refers to a type of convergence of a sequence of functions where, for each point in the domain, the sequence converges to the value of a limiting function. This means that for every point, as you progress through the sequence, the values get closer and closer to the value defined by the limiting function. Pointwise convergence is crucial in understanding how functions behave under limits and is often contrasted with uniform convergence, which has different implications for continuity and integration.
Sequence of functions: A sequence of functions is a list of functions indexed by natural numbers, where each function maps from the same domain to a range, often seen as a way to analyze how functions behave as they progress in the sequence. Understanding sequences of functions helps in exploring concepts like convergence, which refers to the behavior of these functions as the index goes to infinity, specifically through pointwise and uniform convergence.
Series Convergence: Series convergence refers to the behavior of an infinite sum of terms as more and more terms are added, determining whether the sum approaches a specific value or diverges to infinity. Understanding series convergence is crucial when analyzing the limits and behaviors of sequences, especially when comparing pointwise and uniform convergence, which provide different criteria for determining convergence in mathematical analysis.
Supremum: The supremum, or least upper bound, of a set is the smallest number that is greater than or equal to every number in that set. This concept connects to various mathematical principles such as order structure and completeness, and it plays a crucial role in understanding limits, convergence, and the behavior of sequences.
Weierstrass M-test: The Weierstrass M-test is a method used to determine the uniform convergence of a series of functions. It states that if a series of functions converges pointwise and is bounded above by a convergent series of non-negative constants, then the original series converges uniformly. This test connects the ideas of pointwise convergence and uniform convergence and plays a critical role in analysis, especially when dealing with series of functions.
ε-δ notation: ε-δ notation is a formalism used to define the concept of limits in mathematical analysis. It provides a precise way to specify how close values must be to a certain point for the output to be within a specific range, allowing for rigorous definitions of continuity, convergence, and differentiability. This notation is crucial for understanding both pointwise and uniform convergence of sequences, as it establishes the criteria for how sequences behave as they approach a limit.
© 2024 Fiveable Inc. All rights reserved.
AP® and SAT® are trademarks registered by the College Board, which is not affiliated with, and does not endorse this website.