Tags

  • AWS (7)
  • Apigee (3)
  • ArchLinux (5)
  • Array (6)
  • Backtracking (6)
  • BinarySearch (6)
  • C++ (19)
  • CI&CD (3)
  • Calculus (2)
  • DesignPattern (43)
  • DisasterRecovery (1)
  • Docker (8)
  • DynamicProgramming (20)
  • FileSystem (11)
  • Frontend (2)
  • FunctionalProgramming (1)
  • GCP (1)
  • Gentoo (6)
  • Git (15)
  • Golang (1)
  • Graph (10)
  • GraphQL (1)
  • Hardware (1)
  • Hash (1)
  • Kafka (1)
  • LinkedList (13)
  • Linux (27)
  • Lodash (2)
  • MacOS (3)
  • Makefile (1)
  • Map (5)
  • MathHistory (1)
  • MySQL (21)
  • Neovim (10)
  • Network (66)
  • Nginx (6)
  • Node.js (33)
  • OpenGL (6)
  • PriorityQueue (1)
  • ProgrammingLanguage (9)
  • Python (10)
  • RealAnalysis (20)
  • Recursion (3)
  • Redis (1)
  • RegularExpression (1)
  • Ruby (19)
  • SQLite (1)
  • Sentry (3)
  • Set (4)
  • Shell (3)
  • SoftwareEngineering (12)
  • Sorting (2)
  • Stack (4)
  • String (2)
  • SystemDesign (13)
  • Terraform (2)
  • Tree (24)
  • Trie (2)
  • TwoPointers (16)
  • TypeScript (3)
  • Ubuntu (4)
  • Home

    [Understanding Analysis by Stephen Abbott] - [Chapter 2 Sequences and Series] - [2.2 The Limit of a Sequence]

    Published Jun 20, 2021 [  RealAnalysis  ]

    Definition 2.2.1 A sequence is a function whose domain is \(N\).

    Definition 2.2.3 Convergence of a Sequence A sequence \((a_n)\) converges to a real number \(a\) if, for every positive number \(\epsilon\), there exists an \(N \in N\) such that whenever \(n \leqslant N\) it follows that \(|a_n - a| < \epsilon\)

    To indicate that \((a_n)\) converges to \(a\), we usually write either \(\lim a_n = a\) or \((a_n) \to a\). The notation \(\lim_{n \to \infty} a_n\) is also standard.

    Definition 2.2.4 Given a real number \(a \in R\) and a positive number \(\epsilon > 0\) the set $$ V_\epsilon(a) = \{x \in R : |x - a| < \epsilon\} $$ is called the \(\epsilon\)-neighborhood of \(a\).

    Notice that \(V_\epsilon(a)\) consists of all of those points whose distance from \(a\) is less than \(\epsilon\). Said another way, \(V_\epsilon(a)\) is an interval, centered at \(a\), with radius \(\epsilon\).

    Definition 2.2.3B Convergence of a Sequence: Topological Version. A sequence \((a_n)\) converges to \(a\) if, given any \(\epsilon\)-neighborhood \(V_\epsilon(a)\) of \((a)\), there exists a point in the sequence after which all of the terms are in \(V_\epsilon(a)\). In other words, every \(\epsilon\)-neighborhood contains all but a finite number of the terms of \((a_n)\)

    Theorem 2.2.7 (Uniqueness of Limits) Uniqueness of Limits. The limit of a sequence, when it exists, must be unique.

    Definition 2.2.9 A sequence that does not converge is said to diverge.