A LITTLE REAL ANALYSIS AND TOPOLOGY

Similar documents
REVIEW OF ESSENTIAL MATH 346 TOPICS

That is, there is an element

Contents Ordered Fields... 2 Ordered sets and fields... 2 Construction of the Reals 1: Dedekind Cuts... 2 Metric Spaces... 3

Some Background Material

Logical Connectives and Quantifiers

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9

Analysis Finite and Infinite Sets The Real Numbers The Cantor Set

Problem Set 2: Solutions Math 201A: Fall 2016

Theorems. Theorem 1.11: Greatest-Lower-Bound Property. Theorem 1.20: The Archimedean property of. Theorem 1.21: -th Root of Real Numbers

Set, functions and Euclidean space. Seungjin Han

Real Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi

11691 Review Guideline Real Analysis. Real Analysis. - According to Principles of Mathematical Analysis by Walter Rudin (Chapter 1-4)

Metric Spaces and Topology

Math 117: Topology of the Real Numbers

Copyright c 2007 Jason Underdown Some rights reserved. statement. sentential connectives. negation. conjunction. disjunction

Chapter 1 The Real Numbers

Introduction to Proofs in Analysis. updated December 5, By Edoh Y. Amiran Following the outline of notes by Donald Chalice INTRODUCTION

Math 5210, Definitions and Theorems on Metric Spaces

Maths 212: Homework Solutions

UNIVERSITY OF CALICUT SCHOOL OF DISTANCE EDUCATION CORE COURSE. B.Sc. MATHEMATICS V SEMESTER. (2011 Admission onwards) BASIC MATHEMATICAL ANALYSIS

Lebesgue Measure. Dung Le 1

General Notation. Exercises and Problems

MATH 409 Advanced Calculus I Lecture 10: Continuity. Properties of continuous functions.

Real Analysis. Joe Patten August 12, 2018

Introduction to Real Analysis

We are going to discuss what it means for a sequence to converge in three stages: First, we define what it means for a sequence to converge to zero

1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3

Copyright 2010 Pearson Education, Inc. Publishing as Prentice Hall.

Sequences. Chapter 3. n + 1 3n + 2 sin n n. 3. lim (ln(n + 1) ln n) 1. lim. 2. lim. 4. lim (1 + n)1/n. Answers: 1. 1/3; 2. 0; 3. 0; 4. 1.

THE REAL NUMBERS Chapter #4

REAL VARIABLES: PROBLEM SET 1. = x limsup E k

Definitions & Theorems

Sequences. Limits of Sequences. Definition. A real-valued sequence s is any function s : N R.

g 2 (x) (1/3)M 1 = (1/3)(2/3)M.

Week 2: Sequences and Series

EC 521 MATHEMATICAL METHODS FOR ECONOMICS. Lecture 1: Preliminaries

Mathematical Methods for Physics and Engineering

Economics 204 Summer/Fall 2011 Lecture 5 Friday July 29, 2011

After taking the square and expanding, we get x + y 2 = (x + y) (x + y) = x 2 + 2x y + y 2, inequality in analysis, we obtain.

MATH 131A: REAL ANALYSIS (BIG IDEAS)

Immerse Metric Space Homework

2.31 Definition By an open cover of a set E in a metric space X we mean a collection {G α } of open subsets of X such that E α G α.

Analysis I. Classroom Notes. H.-D. Alber

Notes on Complex Analysis

LECTURE 6. CONTINUOUS FUNCTIONS AND BASIC TOPOLOGICAL NOTIONS

Topology. Xiaolong Han. Department of Mathematics, California State University, Northridge, CA 91330, USA address:

U e = E (U\E) e E e + U\E e. (1.6)

Chapter 2 Metric Spaces

Sets, Functions and Metric Spaces

Continuity. Chapter 4

MA103 Introduction to Abstract Mathematics Second part, Analysis and Algebra

Introduction to Real Analysis Alternative Chapter 1

MH 7500 THEOREMS. (iii) A = A; (iv) A B = A B. Theorem 5. If {A α : α Λ} is any collection of subsets of a space X, then

Math LM (24543) Lectures 01

ECARES Université Libre de Bruxelles MATH CAMP Basic Topology

Lecture 2: A crash course in Real Analysis

01. Review of metric spaces and point-set topology. 1. Euclidean spaces

Real Analysis Notes. Thomas Goller

Structure of R. Chapter Algebraic and Order Properties of R

HW 4 SOLUTIONS. , x + x x 1 ) 2

Continuity. Chapter 4

2.2 Some Consequences of the Completeness Axiom

INDEX. Bolzano-Weierstrass theorem, for sequences, boundary points, bounded functions, 142 bounded sets, 42 43

Econ Slides from Lecture 1

Advanced Calculus: MATH 410 Real Numbers Professor David Levermore 5 December 2010

CHAPTER 7. Connectedness

NAME: Mathematics 205A, Fall 2008, Final Examination. Answer Key

Berge s Maximum Theorem

Real Analysis - Notes and After Notes Fall 2008

Part III. 10 Topological Space Basics. Topological Spaces

Introduction to Topology

Principles of Real Analysis I Fall I. The Real Number System

MATH 23b, SPRING 2005 THEORETICAL LINEAR ALGEBRA AND MULTIVARIABLE CALCULUS Midterm (part 1) Solutions March 21, 2005

2 Topology of a Metric Space

What to remember about metric spaces

NOTES FOR MAT 570, REAL ANALYSIS I, FALL Contents

van Rooij, Schikhof: A Second Course on Real Functions

Studying Rudin s Principles of Mathematical Analysis Through Questions. August 4, 2008

Introduction to Real Analysis

Chapter 3 Continuous Functions

Week 6: Topology & Real Analysis Notes

Solutions to Tutorial 7 (Week 8)

ANALYSIS WORKSHEET II: METRIC SPACES

Metric Spaces Math 413 Honors Project

Analysis-3 lecture schemes

Lebesgue Measure on R n

Essential Background for Real Analysis I (MATH 5210)

M17 MAT25-21 HOMEWORK 6

2 Metric Spaces Definitions Exotic Examples... 3

Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics

MATH 31BH Homework 1 Solutions

Math 320-2: Midterm 2 Practice Solutions Northwestern University, Winter 2015

Solutions Final Exam May. 14, 2014

G1CMIN Measure and Integration

MATH 202B - Problem Set 5

Solutions to Tutorial 1 (Week 2)

Exercises from other sources REAL NUMBERS 2,...,

JORDAN CONTENT. J(P, A) = {m(i k ); I k an interval of P contained in int(a)} J(P, A) = {m(i k ); I k an interval of P intersecting cl(a)}.

Mathematical Analysis Outline. William G. Faris

Scalar multiplication and addition of sequences 9

Transcription:

A LITTLE REAL ANALYSIS AND TOPOLOGY 1. NOTATION Before we begin some notational definitions are useful. (1) Z = {, 3, 2, 1, 0, 1, 2, 3, }is the set of integers. (2) Q = { a b : aεz, bεz {0}} is the set of rational numbers. (3) Numbers that cannot be written as ratios or quotients of integers are called irrational numbers and are denoted, I. Irrational numbers have decimal expansions that neither terminate nor become periodic. Some familiar irrational numbers are 2, π, e, and 3.Ifnis a positive integer which is not a perfect square, then n is an irrational number. (4) R or R, which is the union of the sets of rational and irrational numbers, is the set of real numbers. (5) R + is the set of non-negative real numbers. (6) R ++ is the set of positive real numbers. (7) C or C is the set of the complex numbers. They are an extension of the real numbers by the inclusion of the imaginary unit i, satisfying i 2 = 1. Every complex number can be written in the form x + iy, where x and y are real numbers called the real part and the imaginary part of the complex number (8) R n is the set of all n-dimensional points or vectors, called Euclidean space. (9) R n + = {x : xɛr n,x 0} (10) R n ++ = {x : xɛrn,x>0} (11) 2 Rn + = {S : S R n + } (12) x yiffx i y i, i=1,...,n (13) x yiffx i y i and x y (14) x < yiffx i < y i, i=1,...,n (15) x < yiffx i < y i or x i =y i = 0, i=1,...n 2. INTERVALS 2.1. Open intervals. If a and b are two numbers with a < b, then the open interval from a to b is the collection of all numbers which are both larger than a and smaller than b. The open interval consists of all numbers between a and b. A compact way of writing this is a < x < b. We denote an open interval with parentheses as (a, b). 2.2. Closed intervals. If a and b are two numbers with a < b, then the closed interval from a to b is the collection of all numbers which are both greater than or equal to a and less than or equal to b. The closed interval consists of all points between a and b including a and b. A compact way of writing this is a x b. We denote a closed interval with brackets as [a, b]. 2.3. Half-open intervals. Intervals that are closed on one end and open on the other are called half-open intervals. We can denote these as half open on the right or the left and use a mixture of brackets and parentheses as appropriate. Date: February 7, 2006. 1

2 A LITTLE REAL ANALYSIS AND TOPOLOGY 2.4. Infinite intervals. (a, + ) ={x : x > a}, [a, + ) = {x : x a} (,a) ={x : x < a}, (,a] = {x : x a} 2.5. The real line. The real line R is sometimes referred to as the interval (, + ). 2.6. Absolute value. If x is any real number, the absolute value of x, denoted by x, is defined as follows, { x, if x 0 x = x, if x 0 2.7. Distance on the real line. We define the distance between two real numbers x and y is the absolute value of their difference, i.e. x y. 3. UPPER BOUNDS, MAXIMAL ELEMENT, LEAST UPPER BOUND (SUPREMUM) 3.1. Definitions. Definition 1 (Upper bound). Let S be a set of real numbers. If there is a real number b such that x b, for every x S, then b is call an upper bound for S and we say that S is bounded above by b. We say an upper bound because every number greater than b is also an upper bound for S. If an upper bound b is also a member of S, then b is called the largest member or maximal element of S. There can be at most one b. We write b = max S A set with no upper bound is said to be unbounded above. Definition 2 (Lower bound). Let S be a set of real numbers. If there is a real number b such that x b, for every x S, then b is call a lower bound for S and we say that S is bounded below by b. We say a lower bound because every number less than b is also a lower bound for S. If a lower bound b is also a member of S, then b is called the smallest member or minimal element of S. There can be at most one b. We write b = min S A set with no lower bound is said to be unbounded below. The set R + = (0, + ) is unbounded above. It has no upper bound and no maximal element. It is bounded below by 0, but has no minimal element. The interval S = [0,1) is bounded above by 1 but has no maximal element. It is bounded below by 0, which is also its minimal element. Definition 3 (Least upper bound). Let S be a set of real numbers bounded above. A real number b is called a least upper bound for S if it has following two properties: a. b is an upper bound for S. b. No number less than b is an upper bound for S. The least upper bound for a set of real numbers if unique. We usually refer to the least upper bound of a set by the term supremum or sup. Thus we write b = sup S if b is the supremum of the set S. If S has a maximal element then max S = sup S. Definition 4 (Greatest lower bound). Let S be a set of real numbers bounded below. A real number b is called a greatest lower bound for S if it has following two properties:

A LITTLE REAL ANALYSIS AND TOPOLOGY 3 a. b is a lower bound for S. b. No number greater than b is a lower bound for S. The greatest lower bound for a set of real numbers if unique. We usually refer to the greatest lower bound of a set by the term infimum or inf. Thus we write b = inf S if b is the infimum of the set S. If S has a minimal element then min S = inf S. 3.2. Completeness axiom. Axiom 1 (Completeness). Every nonempty set of real numbers S which is bounded above has a supremum, that is, there is a real number b such that b = sup S. Every nonempty set of real numbers S which is bounded below has an infimum, that is, there is a real number b such that b = inf S. Theorem 1 (approximation). let S be a nonempty set of real numbers with a supremum b = sup S. Then for every a < b there is some x in S such that a < x b This says that a set with a supremum has members that are arbitrarily close to the supremum. 4. TWO IMPORTANT INEQUALITIES 4.1. Triangle inequality. For arbitrary x and y we have x + y x + y 4.2. Cauchy-Schwarz inequality. If a 1,a 2,...,a n and b 1,b 2,...,b n are arbitrary real numbers, we have ( n ) 2 ( n )( n ) a k b k k=1 Moreover, if some a i 0 equality holds if and only if there is a real number x such that a k x + b k = 0 for each k = 1,2,...,n. 5. SEQUENCES AND LIMITS 5.1. Sequence. A sequence is an ordered set of mathematical objects. Sequences of object are most commonly denoted using braces. For example, the symbol { 2n } n=1 denotes the infinite sequence of even numbers {2, 4,..., 2n,...}. The sequence { 1 n } n=1 denotes an infinite sequence that becomes closer and closer to zero. We usually denote a sequence by {x n } or by { x i } n i=1. k=1 a 2 k k=1 b 2 k 5.1.1. Decreasing sequence. A sequence {a 1,a 2,a 3,..., } for which a 1 a 2 a 3... is called a decreasing sequence. 5.1.2. Increasing sequence. A sequence {a 1,a 2,a 3,..., } for which a 1 a 2 a 3... is called a increasing sequence. Alternatively, for a sequence {a n },ifa n+1 -a n > 0forn x, then a n is increasing for n x. 5.1.3. Monotonic sequence. A sequence {a 1,a 2,a 3,..., } such that either (1) a i+1 a i for every i 1 or (2) a i+1 a i for every i 1 is called a monotonic sequence.

4 A LITTLE REAL ANALYSIS AND TOPOLOGY 5.2. Subsequence. A subsequence of a sequence { x i } n i=1 is a derived sequence { y i} N i=1 = { x i+j} for some j 0 and N n - j. More generally, the word subsequence is used to mean a sequence derived from a sequence S by discarding some of its terms. We can write a subsequence in a more precise manner by considering a strictly increasing function k which assigns to each positive integer i another positive integer k(i). Then we can define the composite function (x k)(i) = x k(i) = x ki. This composite function is then a subsequence of {x i }. For example if k(i) = 2i, then for the sequence {x i } = {1,3,7,15,31,63,...,}, the subsequence {x ki } is {3,15,63,...,}. 5.3. Convergent sequence. A sequence { x i } n i=1 converges to the limit point p lim {x i} n i=1 = p n if, for any ε > 0, there exists an N such that x n p < ε for n > N. If does not converge, it is said to diverge. We also say that {x n } converges to p and we write {x n } p as n or simply x n p. 5.4. Monotonic convergence. If a sequence {x n } is increasing it converges to a finite limit or to +. Ifa sequence {x n } is decreasing it converges to a finite limit or to. Every bounded monotonic sequence converges. 5.5. Bolzano-Weierstrass principle for the real line. Every bounded sequence {x n } n 1 of real numbers possesses a convergent subsequence {x kn }. 5.6. lim sup and lim inf. 5.6.1. lim sup. The limit superior of a function is defined as follows. Let x n be a sequence of points (vectors) in R n converging to a point x 0. Consider subsequences of the sequence {x n } n k, k = 1,2,...where as k increases the subsequence starts further along in the sequence. Now consider a function f: R n R. Let S k = sup {f(x n } n k for k = 1,2,... Because the set of points over which f is defined is smaller as k increases, S k cannot increase as k increases. This means that it is a nonincreasing sequence. If it is bounded below, then it has a lower limit or infimum. If it is not bounded below consider the extended real line as the range of f and take - as the lower bound. Now define the lim sup of the function f as lim sup f(x n ) = n lim k S k 5.6.2. lim inf. The lim inf is defined in an analogous manner as where I k = inf {f(x n } n k for k = 1,2,... lim inf n f(xn ) = lim k I k 6. FUNCTIONS 6.1. Functions of a real variable. A function of a real variable x with domain D is a rule that assigns a unique real number to each number x in D. Functions are often given letter names such as f, g, F, or φ. We often call x the independent variable or the argument of f. If g is a function and x is a number in D, then g(x) denotes the number that g assigns to x. We sometimes make the idea that F has an argument (we substitute a number for the variable in F) explicit by writing F( ). In the case of two variables we sometimes use y = f(x) for the value of f evaluated at the number x. Note the difference between φ and φ(x).

A LITTLE REAL ANALYSIS AND TOPOLOGY 5 (i) The domain of a function The domain is the set of all values that can be substituted for x in the function f( ). If a function f is defined using an algebraic formula, we normally adopt the convention that the domain consists of all values of the independent variable for which the function gives a meaningful value (unless the domain is explicitly mentioned). (ii) The range of a function Let g be a function with domain D. The set of all values g(x) that the function assumes is called the range of g. To show that a number, say a, is in the range of a function f, we must find a number x such that f(x) = a. 6.2. Continuous functions of a real variable. 6.2.1. Continuity at interior points. A function y = f(x) is continuous at an interior point c of its domain if lim f(x) = f(c) x c 6.2.2. Continuity at endpoints. A function y = f(x) is continuous at a left endpoint a of its domain if lim x a + f(x) = f(a) A function y = f(x) is continuous at a right endpoint b of its domain if lim x b f(x) = f(b) If a function is not continuous at a point c, we say that f is discontinuous at c. 6.3. Max-min theorem for continuous functions of a real variable. Theorem 2. If f is continuous at every point of a closed interval [a, b] R, then f assumes both an absolute maximum value M and an absolute minimum value m somewhere in [a, b]. That is, there are numbers x 1 and x 2 in [a, b] with f(x 1 ) = m, f(x 2 ) = M, and m f(x) M for every other x in [a, b]. 6.4. Real-valued functions of several variables. Suppose D is a set of n-tuples of real numbers (x 1,x 2,x 3,...,x n ). A real-valued function f on D is a rule that assigns a unique (single) real number y = f (x 1,x 2,x 3,...,x n ) to each element in D. The set D is the function s domain. The set of y-values taken on by f is the range of the function. The symbol y is the dependent variable of f, and f is said to be a function of the n independent variables x 1 to x n. We also call the x s the function s input variables and we call y the function s output variable. A real-valued function of two variables is just a function whose domain is R 2 and whose range is a subset of R 1, or the real numbers. If we view the domain D as column vectors in R n, we sometimes write the function as x 1 x 2 f.. x n

6 A LITTLE REAL ANALYSIS AND TOPOLOGY 6.5. Continuous functions. Let S be a nonempty set in R n. A function f: S R 1 is said to be continuous at x S, if for each ε>0 there exists a δ>0 such that x S and x x imply that f(x) f( x < ε. 6.6. Upper semicontinous functions. 6.6.1. definition 1. Let S be a nonempty set in R n. A function f: S R 1 is said to be upper semi-continuous at x S, if for each ε>0 there exists a δ>0 such that x S and x x <δimply that f(x) - f( x) <ε. 6.6.2. definition 2. A second definition is that the function f(x) is upper semi-continuous iff the sets {x: f(x) y} are closed for all y in R 1. 6.6.3. definition 3. A third definition is that f(x) is upper semi-continuous at x iff lim sup n f(x n ) f( x) for all sequences x n x. 6.7. Lower semicontinous functions. 6.7.1. definition 1. Let S be a nonempty set in R n. A function f: S R 1 is said to be lower semi-continuous at x S, if for each ε>0 there exists a δ>0 such that x S and x x <δimply that f(x) - f( x) > ε. A function which is both upper and lower semi-continuous is said to be continuous. 6.7.2. definition 2. A second definition is that the function f(x) is lower semi-continuous iff the sets {x: f(x) y} are closed for all y in R 1. 6.7.3. definition 3. A third definition is that f(x) is lower semi-continuous at x iff lim inf n f(x n ) gleq f( x) for all sequences x n x. 6.8. Intuition and geometrical analysis of a semi-continuous function. 6.8.1. closed sets. The easiest definition of semi-continuity to visualize is the one based on closed sets. Consider a function with a jump at x. If the function takes the upper value at x and greater, but the lower value for all points to the left of x, the function is upper semi-continuous. This is obvious because the set of points x where f(x) is greater than or equal to the value at the jump point is closed but the set where f(x) is less than or equal to the value at the jump point is open. A lower semi-continuous function would take the lower value at the jump point. Consider the function in figure 1. y FIGURE 1. Upper Semi-continuous Function f x x

A LITTLE REAL ANALYSIS AND TOPOLOGY 7 The function takes the upper value at the jump point as indicated by the solid disk as compared to the open circle. Consider the function in figure 2. With lower semi-continuity. the function takes the lower value at the jump point. y FIGURE 2. Upper Semi-continuous Function f x x 6.8.2. using lim sup. Now consider 1 where there is a discontinuity at a given point such that the function jumps to the new value atthat point. Consider that the lim sup approaching the point from the left will be the value of the function just before the jump, which is clearly less than the value after the jump. Consider approaching the point from the right. The lim sup will be the value at the point which is the value after the jump. Thus the function is upper semi-continuous. To see that it is not lower semi-continuous consider the lim inf approaching the point from the left. The lim inf is given by the value of the function somewhere before the jump which is clearly not greater than the value at the given point. 7. POINT SET TOPOLOGY 7.1. Neighborhood. The neighborhood of a point in R n (also called an epsilon-neighborhood)is the set of points inside an n-ball with center x and radius ε>0. A set containing an open neighborhood is also called a neighborhood. No matter how small ε (as long as it is greater than zero), all points within it are in the neighborhood of x. 7.2. Open set. A set is open if every point in the set has a neighborhood lying in the set. In one-space, the open set is an open interval. In two-space, the open set is a disk. In three-space, the open set is a ball. 7.3. Closed set. A closed set is a set which contains all of its limit points. Therefore, a closed set C is one for which, whatever point x is picked outside of C, x can always be isolated in some open set which doesn t touch C. This can be characterized in a number of different ways.. a: Sequences in S that converge do so within S. b: Every point outside S has a neighborhood disjoint from S. c: The complement of S is an open set.

8 A LITTLE REAL ANALYSIS AND TOPOLOGY It is possible for a set to be neither open nor closed, e.g., the half-closed interval (0,1]. The set {(x,y):x 2 + y 2 < 1 } is an open set while the set {(x,y):x 2 +y 2 1 } is a closed set. 7.4. Limit point. A limit point is a number x such that for all ε>0, there exists a member, y, of the set S, different from x such that y-x <ε. We say that a point P S is a limit point of S if every open set around it intersects S. Sometimes limit points are called accumulation points. An accumulation point is a point which is the limit of a sequence. If S is a subset of R n and x S, but x is not an accumulation point of S, then x is called an isolated point of S. 7.5. Covering. 7.5.1. Definition of a covering. A collection F of sets is said to be a covering of a given set S if S A F A. The collection F is also said to cover S. If F is a collection of open sets, then F is called an open covering of S. 7.5.2. Examples of coverings. (i) The collection of all intervals of the form 1 n <x< 2, (n =2, 3, 4,...,) is a countable open covering n of the interval 0 <x<1. To see this write the various terms in the set: ( 1 2 <x<1), ( 1 3 <x< 2 3 ), ( 1 4 <x< 1 2 ), ( 1 5 <x< 2 5 ),..., 1 10000 <x< 2 10000,..., 1 n <x< 2 n. (ii) The real line R 1 is covered by the collection of all open intervals (a,b). This covering is not countable. (iii) The real line R 1 is covered by the collection of all open intervals of the form (n, n+2) where n is an integer. This covering is countable. (iv) Let S = {(x, y) :x>0,y > 0}. The collection F of all circular disks of centers at (x,x) and with radius, where x>0, is a covering of S. This covering is not countable. However, it contains a countable covering of S, namely, all those disks in which x is rational. 7.6. Lindelöf covering theorem. Assume A R n and let F be an open covering of A. Then there is a countable subcollection of F which also covers A. 7.7. Heine-Borel theorem. Let F be an open covering of a closed and bounded set A R n. Then a finite subcollection of F also covers A. 7.8. Compact set. A set S in R n is said to be compact if, and only if, every open covering of S contains a finite subcover, that is, a finite subcollection which also covers S. The Heine-Borel theorem then implies that every closed and bounded set in R n is compact. We can summarize these results in a theorem. Theorem 3. Let S be a subset of R n. Then the following three statements are equivalent. (a) S is compact. (b) S is closed and bounded. (c) Every infinite subset of S has a limit (accumulation) point is S, i.e., from any sequence of elements X 1,X 1,..., of S, a subsequence can always be extracted which tends to some limit element X of S.

A LITTLE REAL ANALYSIS AND TOPOLOGY 9 7.9. Bolzano-Weierstrass theorem. The Bolzano-Weierstrass theorem states that every bounded infinite set in R n has an accumulation point. In R 1 the Bolzano-Weierstrass theorem states that every bounded sequence of real numbers contains a convergent subsequence. The sequence a 1,a 2,a 3,...is called bounded if there exists a number L such that the absolute value a n is less than L for every index n. More generally, any sequence a n in a compact set, has a convergent subsequence. 7.10. Weierstrass extremum theorem. The Weierstrass theorem states that a continuous, real-valued function defined over a non-empty compact set attains a maximum and a minimum in the set. Specifically, f: S Rbe a continuous real-valued function on a non-empty compact set S. Let M = sup x S f(x) and m = inf x S f(x). Then, there is a point x M and a point x m in S such that f(x M ) = M and f(x m ) = m, i.e. a continuous function f(x) attains a maximum and a minimum over a compact set.