Honors Calculus - 2

image-20260903203017874

Number Systems and Basic Funtions

To prove A=BA=B, we can prove A⊂BA \subset B and B⊂AB \subset A

Number Sets

  • Field
  • Order Field

Interval Testing Method + Square Method

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

  • supremum : β=sup⁡E\beta = \sup E
  • infimum : α=inf⁡E\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 γ=sup⁡E\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)=(ac−bd,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‾=a−bi\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+w∣≤∣z∣+∣w∣|z+w|\le|z|+|w|

Very Important :

∣y1−y3∣≤∣y1−y2∣+∣y2−y3∣|y_1-y_3|\le|y_1-y_2|+|y_2-y_3|

∣x∣≤∣y∣+∣x−y∣|x|\le|y|+|x-y|

∣∣x∣−∣y∣∣≤∣x−y∣||x|-|y||\le |x-y|