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 4 Functional Limits and Continuity] - [4.5 The Intermediate Value Theorem]

    Published Jul 02, 2021 [  RealAnalysis  ]

    Theorem 4.5.1 (Intermediate Value Theorem). Let \(f: [a, b] \to \mathbb{R}\) be continuous. If \(L\) is a real number satisfying \(f(a) < L < f(b)\) or \(f(a) > L > f(b)\), then there exists a point \(c \in (a, b)\) where \(f(c) = L\)

    Theorem 4.5.2 (Preservation of Connected Sets). Let \(f : G \to \mathbb{R}\) be continuous. If \(E \subseteq G\) is connected, then \(f(E)\) is connected as well.

    Definition 4.5.3 (Intermediate Value Property). A function \(f\) has the intermediate value property on an interval \([a, b]\) if for all \(x < y\) in \([a, b]\) and all \(L\) between \(f(x)\) and \(f(y)\), it is always possible to find a point \(c \in (x, y)\) where \(f(c) = L\).