Honors Calculus - 2

image-20260903203017874

Number Sets

  • Field
  • Order Field

Interval Testing Method + Square Method

A set is bounded if it has both upper and lower bounds.

  • supremum : β=supE\beta = \sup E
  • infimum : α=infE\alpha = \inf E

least-upper-bound property or Completeness axiom :

for any nonempty subset EE of SS, if EE is bounded above, then sup EE exists in SS

Proof γ=supE\gamma=\sup E

  1. pγ\forall p\le \gamma
  2. q>γε\exist q>\gamma - \varepsilon (use ε\varepsilon to describe parameter)

So RR ais has least-upper-bound property, while QQ has not.

Also : An ordered set with the least-upper-bound property also has the greatest-lower-bound property.

Extended real number system : R=R{,}\overline{\mathbb{R}}=\mathbb{R}\cup\{-\infty,\infty\} (It is not a field)

Complex Numbers

  • (a,b)×(c,d)=(acbd,ad+bc)(a,b)\times (c,d)=(ac-bd,ad+bc)
  • Complex field
    • Not an ordered field
    • R\mathbb{R} is an subfield of it
  • i=(0,1)i=(0,1) is a unit imaginary number
  • z=a+biz=a+bi, where aa is called real part, bb is called imaginary part. Let a=Re(z),b=Im(z)a=\text{Re}(z),b=\text{Im}(z)
  • z=abi\overline{z}=a-bi is the conjugate of zz
  • z=(zz)1/2|z|=(z\overline z)^{1/2} is the modulus, or absolute value
  • Triangle inequality : z+wz+w|z+w|\le|z|+|w|

Very Important :

y1y3y1y2+y2y3|y_1-y_3|\le|y_1-y_2|+|y_2-y_3|

xy+xy|x|\le|y|+|x-y|

xyxy||x|-|y||\le |x-y|

Function

For f:XYf:X\to Y is a mapping

  • domain : Df=XD_f=X
  • codomain : YY
  • range : RfR_f (The definite numbers)
  • yy is the image of xx
  • xx is the inverse image of yy

If :

  • Rf=YR_f=Y, that ff is a surjective
  • f(x1)=f(x2)f(x_1)=f(x_2) implies x1=x2x_1=x_2, that ff is a injective