对数函数的公理化定义.docVIP

对数函数的公理化定义 ?????? 定义1.1 设φ(x):(0，+∞)→R, 满足??? 1) φ(x)是(0,+∞)上的连续函数；2) x, y∈(0,+∞),有φ(xy)=φ(x)+φ(y); 3) 对于a＞0, 且a≠1, 有φ(a)=1．称φ(x)是以a为底x的对数，记作φ(x)=logax．??? 下面，我们来证明，对于给定的a＞0且a≠1，存在φ(x)满足定义1.1．为此，我们首先给出下面的引理??? 引理1.1 对于任意的x＞0，总存在整数m(正或负)，使得am≤x＜am+1，其中a＞1.??? 证明 首先假设x≥1．若x＜a，则a0≤x＜a．引理1.1结论成立．若a=x, 则a=x＜a2．引理1.1结论也成立．若a＜x，则必存在自然数m，使x＜an．若不然，则对于数列｛an｝，都有an≤x．因a＞1，故有an+1＞an，即数列｛an｝单调递增且有上界，从而可知数列｛an｝存在极限,设??? lim(n→∞)an=b有b=lim(n→∞)an+1=a·lim(n→∞)an=ab，这与a＞1矛盾.因此，存在某一整数n，使x＜an．令m+1=inf｛n｜x＜an｝，因此有am≤x＜am+1??? 其次，若0＜x＜1,则x-1＞1.根据前面的证明，存在自然数m，使得am≤x-1＜am+1，也就是a-(m+1)＜x≤a-m=a-(m+1)+1．若a-(m+1)＜x＜a-(m+1)，则结论得证。若x=a-(m+1),则a-m=x＜a-m+1?? 引理1.2 对于a＞1与任意的自然数n，存在实数z＞1，使得zn≤a.??? 证明 由实数的稠密性，存在实数x，使得1＜x＜a因此可设a=xy，其中y＞1若取z1=min｛x,y｝，则有z21≤xy=a,且z1＞1用归纳法定义zn＞1，使得z2n≤zn-1，于是有z2nn≤a，当然有znn≤a??? 定理1.1 对于a＞1，存在R+=(0,+∞)到R上的连续严格递增函数φ，使得??????????????????? φ(xy)=φ(x)+φ(y),????????????????????????????????????????????????????????????????? (1)且φ(a)=1??? 证明 对于给定的a，以及x≥1，令??????????? Ax=｛m/n｜m,n是整数，n≥1，am≤xn｝，?????????????????????????????????????????????????????? (2)定义φ(x)=supAx????????????????????????????????????????????????????????????????????????????????????????? (3)对于x(0,1]，定义??? φ(x)=-φ(1/x).??????????????????????????????????????????????????????????????????? (4)我们来证明，由(2)—(4)式定义的φ(x)满足定理1.1.??? 设x,yR+，对于任意自然数n，由引理1.1知存在整数m，m′, 使得：??????????? am≤xn≤am+1,??????????????????????????????????????????????????????????????????????????? (5)??????????? am′≤yn≤am′+1??????????????????????????????????????????????????????????????????????? (6)由(5)与(6)式得??????????? am+m′≤(xy)n≤am+m′+2.??????????????????????????????????????????????????????????????????? (7)因此，我们可得??????????? m/n≤φ(x)≤(m+1)/n, m′/n≤φ(y)≤(m′+1)/n.从而有??????????? 1/n (m+m′)≤φ(x)+φ(y)≤1/n (m+m′+2).由(7)式有??????????? 1/n (m+m′)≤φ(xy)≤1/n (m+m′+2)由上二式可得??????????? ｜φ(xy)-φ(x)-φ(y)｜≤2/n由n的任意性，有??????????? φ(xy)=φ(x)+φ(y)此外，由φ(x)的定义即可见φ(a)=1??? 由引理1.1知，z＞1，存在自然数n，使得a