Difference between revisions of "Real analysis"

(Begin rewrite: new introduction, section on construction of R, and sequences of R)
Line 1: Line 1:
Very broadly speaking, [[real analysis]] is the study of real-valued functions and can be argued as the formal study of [[calculus]] via mathematical proofs. Some mathematical properties that are studied in real analysis include the construction of the real numbers [[field]], defining [[continuity]] and its various types, and so on. Studying real analysis involves studying the geometric and topological properties of the real numbers as well as the <math>n</math>-th dimensional spaces of <math>\mathbb{R}</math>.
+
Broadly speaking, '''real analysis''' is the study of the real numbers and its topological properties, sequences and series of real numbers, and properties of real-valued functions. Some properties that are studied in the real numbers are the construction of the real numbers, convergence of sequences, subsets of the plane as metric spaces, limits, notions of [[continuity]], [[Derivative|differentiation]], and [[integration]].
  
== Notions ==
+
A common description of real analysis courses is that real analysis is the formal rigorous study of single-variable [[calculus]] with proofs. This view does have merit to it because most (if not all) of the theorems typically presented to students in courses in single-variable calculus are proven rigorously; however, one should note that courses in real analysis also spend considerable amount of time on pathological examples with little concern for applications, and one also aims to generalize and prove results rather than apply results to calculate numerical answers to exercises as one typically does in calculus.
  
* [[Continuity]] (including the Hölder/Lipschitz definitions)
+
== Topics ==
* [[Derivative]] (the limit definition)
 
* [[Integral]] (including multivariate integrals)
 
  
== Important theorems ==
+
=== Construction of the real numbers ===
  
* [[Fundamental Theorem of Calculus]] (integration and differentiation are inverses)
+
The entirety of real analysis is built upon the real numbers, particularly with the notion of completeness in mind. Intuitively, this is described as the fact that the real numbers <math>\mathbb R</math> lack the existence of any "holes" unlike the rational numbers <math>\mathbb Q</math> (for instance, the set <math>\{x \in \mathbb{Q} \mid x^2 < 2\}</math> has no smallest element in the rational numbers). This property of the real numbers is known as the ''least upper bound property''.
* [[Green's Theorem]] (integration over a region equals integration over the region's boundary)
+
 
 +
Two particularly known constructions of the real numbers are via [[Cauchy sequences|Cauchy sequence]] and [[Dedekind cuts|Dedekind cut]], both of which take <math>\mathbb{Q}</math> and construct <math>\mathbb{R}</math> as a completion of <math>\mathbb{Q}</math>.
 +
 
 +
=== Sequences of real numbers ===
 +
 
 +
A [[sequence]] is a function <math>f:\mathbb{N}\to\mathbb{R}</math>. Conventionally, sequences are typically denoted by the notation <math>(s_n)_{n = k}^{\infty} = (s_k,s_{k + 1},\ldots)</math> where <math>f(n)</math> is denoted by <math>s_n</math>.
 +
 
 +
In real analysis, particular attention is paid attention to the convergence and divergence of sequences. Intuitively, the idea of convergence is captured by the notion that the sequence "approaches" some value as <math>n</math> becomes arbitrarily large. Also important is the notion of Cauchy sequences which intuitively describe sequences whose terms become arbitrarily close to each other as <math>n</math> becomes arbitrarily large.
  
 
== See also ==
 
== See also ==

Revision as of 22:52, 4 November 2022

Broadly speaking, real analysis is the study of the real numbers and its topological properties, sequences and series of real numbers, and properties of real-valued functions. Some properties that are studied in the real numbers are the construction of the real numbers, convergence of sequences, subsets of the plane as metric spaces, limits, notions of continuity, differentiation, and integration.

A common description of real analysis courses is that real analysis is the formal rigorous study of single-variable calculus with proofs. This view does have merit to it because most (if not all) of the theorems typically presented to students in courses in single-variable calculus are proven rigorously; however, one should note that courses in real analysis also spend considerable amount of time on pathological examples with little concern for applications, and one also aims to generalize and prove results rather than apply results to calculate numerical answers to exercises as one typically does in calculus.

Topics

Construction of the real numbers

The entirety of real analysis is built upon the real numbers, particularly with the notion of completeness in mind. Intuitively, this is described as the fact that the real numbers $\mathbb R$ lack the existence of any "holes" unlike the rational numbers $\mathbb Q$ (for instance, the set $\{x \in \mathbb{Q} \mid x^2 < 2\}$ has no smallest element in the rational numbers). This property of the real numbers is known as the least upper bound property.

Two particularly known constructions of the real numbers are via Cauchy sequence and Dedekind cut, both of which take $\mathbb{Q}$ and construct $\mathbb{R}$ as a completion of $\mathbb{Q}$.

Sequences of real numbers

A sequence is a function $f:\mathbb{N}\to\mathbb{R}$. Conventionally, sequences are typically denoted by the notation $(s_n)_{n = k}^{\infty} = (s_k,s_{k + 1},\ldots)$ where $f(n)$ is denoted by $s_n$.

In real analysis, particular attention is paid attention to the convergence and divergence of sequences. Intuitively, the idea of convergence is captured by the notion that the sequence "approaches" some value as $n$ becomes arbitrarily large. Also important is the notion of Cauchy sequences which intuitively describe sequences whose terms become arbitrarily close to each other as $n$ becomes arbitrarily large.

See also

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