Washu Math 3300

Math 3300 is a rigorous introduction to real analysis, building upon calculus concepts with formal definitions and proofs. It covers metric spaces, sequences, continuity, differentiation, integration, and series, culminating in an introduction to topology.

Note 1: Introduction to Real Analysis and Metric Spaces Math 3300 typically begins with a rigorous introduction to real analysis. This involves building a solid foundation of set theory, including operations like union, intersection, complement, and Cartesian products. It's crucial to understand different types of sets (open, closed, bounded, compact) and their properties. A fundamental concept is the completeness of the real numbers, often defined through the least upper bound property. This property distinguishes the real numbers from the rational numbers. We often move to metric spaces soon after. A metric space is a set equipped with a metric (a distance function) satisfying specific axioms: non-negativity, identity of indiscernibles, symmetry, and the triangle inequality. Examples include the real numbers with the standard metric, Euclidean space (R^n), and sequence spaces. The choice of metric drastically changes the properties of the space. A common misconception is assuming every set is either open or closed. Sets can be neither, both, or one or the other. Understanding this is fundamental for building rigorous proofs in real analysis.

Note 2: Sequences and Convergence in Metric Spaces A sequence in a metric space (X, d) is a function from the natural numbers to X. The central question is whether a sequence converges, and if so, to what limit. A sequence (x_n) converges to x if for every ε > 0, there exists N ∈ ℕ such that d(x_n, x) < ε for all n > N. This "ε-N" definition is the cornerstone of analysis. A Cauchy sequence is a sequence where the terms become arbitrarily close to each other, regardless of whether they converge to a specific point. In complete metric spaces, such as the real numbers, every Cauchy sequence converges. This is a powerful property for proving the existence of solutions to equations. Convergence of sequences allows us to define continuity, differentiability, and integrability more rigorously. Misconceptions often arise from confusing pointwise and uniform convergence, especially when dealing with sequences of functions. A sequence can converge pointwise but not uniformly, which can have serious consequences for properties like continuity.

Note 3: Continuity and Uniform Continuity A function f: (X, d_X) -> (Y, d_Y) between metric spaces is continuous at a point x ∈ X if for every ε > 0, there exists δ > 0 such that d_Y(f(x'), f(x)) < ε whenever d_X(x', x) < δ. This generalizes the familiar definition of continuity from calculus. Uniform continuity is a stronger condition. A function is uniformly continuous if for every ε > 0, there exists a δ > 0 such that d_Y(f(x), f(y)) < ε whenever d_X(x, y) < δ, where δ depends only on ε and not on x. Every uniformly continuous function is continuous, but the converse is not always true. For example, f(x) = 1/x is continuous on (0, 1) but not uniformly continuous. Compactness plays a crucial role here: a continuous function on a compact set is always uniformly continuous. This is a fundamental theorem for simplifying analysis on bounded and closed sets. Students often struggle to distinguish between continuity and uniform continuity and to grasp the implications of uniform continuity for interchange of limits.

Note 4: Differentiation Differentiation in real analysis is defined rigorously using limits. The derivative of a function f: ℝ -> ℝ at a point x is defined as f'(x) = lim (h->0) [f(x+h) - f(x)] / h, provided this limit exists. The Mean Value Theorem (MVT) is a cornerstone result, stating that if f is continuous on [a, b] and differentiable on (a, b), then there exists a c ∈ (a, b) such that f'(c) = [f(b) - f(a)] / (b - a). The MVT has many important consequences, including establishing criteria for increasing/decreasing functions and providing error bounds for approximations. Higher-order derivatives are defined inductively. Taylor's theorem provides a way to approximate a function using a polynomial, and provides remainder term estimates. The chain rule and product rule also have rigorous proofs. A common misconception is thinking that differentiability implies continuity. While the converse is true, there are examples of functions that are continuous everywhere but differentiable nowhere, highlighting the subtle distinctions in real analysis.

Note 5: Integration Integration in Math 3300 often starts with the Riemann integral. The Riemann integral is defined as the limit of Riemann sums. A function is Riemann integrable if this limit exists and is independent of the choice of partitions and sample points. The Fundamental Theorem of Calculus (FTC) establishes the relationship between differentiation and integration. The first part of the FTC states that if F(x) = ∫[a, x] f(t) dt, then F'(x) = f(x), provided f is continuous. The second part of the FTC states that ∫[a, b] f'(x) dx = f(b) - f(a). There are several limitations to the Riemann integral, which motivates the need for more general integration theories such as the Lebesgue integral. A bounded function that has a finite number of discontinuities is Riemann integrable. A common misconception is confusing the Riemann integral with simply finding the "area under the curve". The Riemann integral is defined through a limiting process, and not all functions are Riemann integrable.

Note 6: Sequences and Series of Functions A sequence of functions (f_n) converges pointwise to a function f if, for each x in the domain, lim (n->∞) f_n(x) = f(x). A sequence of functions (f_n) converges uniformly to f if for every ε > 0, there exists N ∈ ℕ such that |f_n(x) - f(x)| < ε for all n > N and for all x in the domain. Uniform convergence is a stronger condition than pointwise convergence. If a sequence of continuous functions converges uniformly, then the limit function is also continuous. Furthermore, if (f_n) converges uniformly to f and each f_n is integrable, then lim (n->∞) ∫ f_n = ∫ f. Similar results exist for differentiation, but require additional assumptions about the convergence of the derivatives. Series of functions are treated as sequences of partial sums. A key test for uniform convergence is the Weierstrass M-test. A common misconception is assuming that pointwise convergence is sufficient to interchange limits and integrals, which is generally not true.

Note 7: Power Series A power series is a series of the form ∑[n=0 to ∞] a_n (x - c)^n, where a_n are coefficients and c is the center of the series. Every power series has a radius of convergence R, which is a non-negative real number or ∞ such that the series converges absolutely for |x - c| < R and diverges for |x - c| > R. The radius of convergence can be found using the ratio test or the root test. Within its radius of convergence, a power series represents a continuous function. Moreover, power series can be differentiated and integrated term-by-term within their radius of convergence. Taylor series provide a way to represent a function as a power series. A function is analytic if it can be represented by a Taylor series. A common misconception is thinking that every function has a Taylor series representation, which is not true. A function must be infinitely differentiable at a point to have a Taylor series centered at that point.

Note 8: Introduction to Topology Topology generalizes the concepts of open sets, closed sets, continuity, and convergence beyond metric spaces. A topology on a set X is a collection τ of subsets of X (called open sets) that satisfy the following axioms: (1) The empty set and X are in τ. (2) The intersection of any finite number of sets in τ is in τ. (3) The union of any collection of sets in τ is in τ. A topological space is a set X equipped with a topology τ. Metric spaces are topological spaces, but not all topological spaces are metrizable (i.e., can be induced by a metric). Examples of topological spaces include the discrete topology (where every subset is open) and the indiscrete topology (where only the empty set and X are open). Concepts like connectedness, compactness, and separation axioms are fundamental in topology. Understanding topology provides a powerful framework for studying continuity and convergence in more abstract settings than metric spaces. Students often struggle with the abstraction and generality of topological concepts.

Browse public study notes