πŸ—οΈ Ξ˜ΟΟ΅Ξ·Ξ Ξ±Ο„Ο€πŸš§ (under construction)

exponentiation
Suppose bβˆˆβ„, and nβˆˆβ„•1, then bn:=bΒ·b·…·bΒ·b⏟nΒ timesΒ , note that bn:β„•1→ℝ
exponentiation of a positive number is positive
Suppose that xβˆˆβ„>0, then xnβˆˆβ„>0
product of two reals of the same sign is positive
Given x,yβˆˆβ„, if x,y<0 or x,y>0, then xΒ·y=0
multiplicative inverse
Suppose that xβˆˆβ„β‰ 0, then if wβˆˆβ„ satisfies xΒ·w=1, then it is said to be the reciprocal or multiplicative inverse of x and we write w=1x
Suppose that nβˆˆβ„•1 and xβˆˆβ„>0, then xn>0
binomial
Suppose that x,yβˆˆβ„ such that x+yβ‰₯0 and that nβˆˆβ„•0, then
(x+y)n=βˆ‘k=0n(nk)xnβˆ’kyk

exponential function

exponential
ex:=βˆ‘k=0∞xkk!, note that ex:ℝ→ℝ and that xk is exponentiation. We say that ex is the exponential.
ex=limnβ†’βˆž(1+xn)n
ddx[ex]=ex
exponential sum product equality
Suppose x,yβˆˆβ„, then ex+y=exΒ·ey
reciprocal of exponential
1ex=eβˆ’x
x<0,iff ex<1
0<x<1 iff ln(x)<0
exponential is always positive
βˆ€x∈R,ex>0
logarithm
Suppose that a,bβˆˆβ„, then m=logb(a) is a number such that bm=a
natural logarithm
We define ln(x):=loge(x) and call it the natural logarithm.
βˆ€rβˆˆβ„,rx:=eln(r)Β·x
exponentiation inverse
given rβˆˆβ„, then the multiplicative inverse of rx is rβˆ’x
Suppose that 0<r<1 and xβˆˆβ„>0, then 0<rx<1
Let a,bβˆˆβ„>0 and assume that a<b, then if 0<r<1, then ra>rb