Test 1 Flashcards
(51 cards)
Form of an even natural number
2k
Form of an odd natural number
2k-1
Every non-empty subset of N has a smallest element
Well-Ordering Principle
If an integer is odd, then the square of that integer is
odd
If n^2 is even, then n is
even
Define the rational numbers
Q = {m/n: m,n ∈ Z, n=/=0}
There exists no P∈Q s.t. p^2 = 2
True
What is the largest element of A = {p∈Q, p>0: p^2<2}
There is no largest element
What is the smallest element of B = {p∈Q, p>0: p^2>2}
There is no smallest element
Properties of an ordered set
1) One of the following is true: x<y, x=y, y<x (Trichotomy)
2) If x<y and y<z, then x<z
Definition of an ordered set
A set in which an order is defined.
Definiton of Bounded above
If there exists a B∈S s.t. for any x∈E, x<=B, E is bounded above by B
Definition of bounded below
If there exists an A∈S s.t. for any x∈E A<=x then E is bounded below
Properties of a supremum (least upper bound)
1) b is an upper bound of E
2) If a<b then a is not an upper bound of E.
Properties of infimum (greatest lower bound)
1) a is a lower bound of E
2) if a < b, then b is not a lower bound of E
Def of least upper bound property
An ordered set S is said to have the LUB prop if for all E subset S s.t. E=/=0 and E is bound above, then sup(E) exists in S.
Def of Field
A set equipped with two opperations, addition and multiplication
Addition Axioms
A1) If x,y∈F then x+y∈F
A2) x+y = y+x for all x,y∈F
A3) (x+y)+z = x+(y+z) for all x,y,z∈F
A4) There exists a 0∈F s.t. 0+x=x for all x∈F
A5) There exists a -x∈F s.t. x+(-x)=0 for all x∈F
Multiplication Axioms
M1) If x,y∈F then xy∈F
M2) xy = yx for all x,y∈F
M3) (xy)z = x(yz) for all x,y,z∈F
M4) There exists a 1∈F s.t. 1=/=0 and 1x=x for all x∈F
M5) For all x∈F/{0} there exists an x^-1 s.t. x*x^-1 =1
Distribution Axiom
x(y+z) = xy+x*z for all x,y,z∈F
Properties of Ordered Field
A field which has the following properties:
1)If x<y then x+z<y+z
2) If x,y>0 then 0<x*y
Define absolute value of x
x, x>=0
-x, x<0
Triangle Inequality
|x+y| <= |x|+|y|
Reverse Triangle Inequality
||x|-|y|| <= |x-y|