Chapter 1 Flashcards
the Least Upper Bound Axiom
Completeness Axiom
Rationals= {a/b: a,b are Integers and b=/=0}
Every non-empty subset of R that is bounded above has a supremum
the supremum of a non-empty set K ⊆ R
Let K⊆R and let x be an element of R.
x is a _________ for k if :
a) x is an upper bound for k
b) y is an upper bound for k, then x is less than or equal to y
Archimedean Property
For all x in R, there exists an n in N st n>x
The natural numbers are unbounded
a countable set
an infinite set A is _______ if there exists a bijection f:N→A
The natural numbers are countable
metric space
a place where there is a notion of distance. Let X be a set and let d: X * X→ R+ st
- d(x,y) is greater than or equal to 0
- d(x,y) = d(y,x)
- d(x,y) = 0 ⇔ x=y
- d(x,z) is less than or equal to d(x,y)+d(y,z) for all x, y, and z in X
d is a metric on X and (X,d) is a ________
the Euclidean Metric on Rn
Let n be a natural number and consider the “generalized Euclidean space,” Rn. We define the usual metric d : Rn × Rn → R on Rn as follows. For two points (x1, …, xn) and (y1,…, yn) in Rn, define
The Cauchy-Schwarz Inequality Theorem
For all x = (x1, . . . , xn) and y = (y1, . . . , yn) in Rn,
Let K⊆R and let x be an element of R.
x is an ______ _______ for k if x is greater than or equal to k for all k in K
upper bound
Theorem 1.4.4 about non-empty subsets of R bounded above. Let b be an upper bound for B. TFAE:
- b= supB
- For all epsilon positive there exists an x in B s.t
|x-b| < epsilon
- for all epsilon positive there exists an x in the intersection of B and (b-epsilon, b]
Corollary of the Archimedean Property
For all epsilon positive, there exists an n in N st 1/n < epsilon
Theorem 1.4.8 (Proof requires LUBA)
For all a in the positive R there exists an x in R st x2=a
Corollary from 1.4.8
There exists an irrational
Nested Interval Theorem
Every nested sequence of non-empty, closed intervals has non-empty intersection.
If (an) and (bn) are sequences s.t.
- ann for all n
- for all n an is less than or equal to an+1 and bn is less than or equal to bn+1
then the infinite intersection of [an,bn] is non-empty
The reals are ___ ________
not countable
bounded set
A set S of real numbers is called bounded from above if there is a real number k such that k ≥ s for all s in S. The number k is called an upperbound of S. The terms bounded from below and lower bound are similarly defined. A set S is bounded if it has both upper and lower bounds