劉蔚萍

(華中科技大學 數(shù)學與統(tǒng)計學院，武漢430074)

1 引 言

其中F′(x)=f(x)，C(I)={F(x)|F(x)在I上處處可導}，性質(zhì)R表示“在I上有相同的導函數(shù)”.可以看出，在上升到代數(shù)系統(tǒng)理論高度后，不定積分不僅可以是教科書上的定義，還可以有另外新的更嚴密精確的定義.

受到這個啟發(fā)，對于微積分中的其它概念，是否也可以用同余類來分析？基于這個思考，本文將微積分中的極限概念與代數(shù)系統(tǒng)理論建立了聯(lián)系，為微積分提供了一種新的研究思路，得到了一些結(jié)論.這些結(jié)果有助于對極限存在的一元函數(shù)集合的代數(shù)構(gòu)造有更深刻的認識.

在微積分的教學中，這種新的研究方法有助于培養(yǎng)學生的抽象思維、嚴格的邏輯推理和創(chuàng)新能力，以及對微積分相關(guān)概念更深刻的理解.

2 主要結(jié)果

定義1[3]設(shè)非空集合A，記性質(zhì)為R, ?a,b∈A，如果a,b要么有性質(zhì)R，要么沒有性質(zhì)R，二者必居其一且僅居其一，則稱性質(zhì)R為集合A的一個關(guān)系，稱a,b有關(guān)系R，記為aRb.

定義2[3]若集合A上的一個關(guān)系R滿足

(i) 自反性aRa，(?a∈A)；

(ii) 對稱性aRb?bRa, (?a,b∈A)；

(iii) 傳遞性aRb,bRc?aRc， (?a,b,c∈A),

則稱關(guān)系R為A的一個等價關(guān)系.

定理1設(shè)集合A={f(x)|在同一極限過程中，limf(x)存在},則在同一極限過程中，兩函數(shù)極限相等這個性質(zhì)R是集合A的一個等價關(guān)系.

證顯然，由關(guān)系的定義1，在同一極限過程中，兩函數(shù)極限相等這個性質(zhì)R是集合A的一個關(guān)系.

下面證明關(guān)系R是一個等價關(guān)系.

(i) 因為?f(x)∈A,顯然limf(x)=limf(x)，即f(x)Rf(x)，所以自反性成立；

(ii) ?f(x),g(x)∈A，因為f(x)Rg(x),即在同一極限過程中，limf(x)=limg(x) ? limg(x)=limf(x)，所以g(x)Rf(x),對稱性成立；

(iii)?f(x),g(x)，h(x)∈A，若f(x)Rg(x),g(x)Rh(x)，即在同一極限過程中，limf(x)=limg(x),limg(x)=limh(x) ? limf(x)=limh(x)即f(x)Rh(x)，所以傳遞性成立.

由定義2知，R是集合A的一個等價關(guān)系.證畢.

定義3[3]a是集合A的元素，集合A中所有與a等價的元素構(gòu)成的集合，稱為等價類，記為[a]R={x|aRx,x∈A}，a稱為等價類[a]R的代表元.

等價類[a]R是集合A的子集.在研究集合的代數(shù)結(jié)構(gòu)時，用等價類把集合分成子集.

顯然，等價類中任意一個元素是該類的一個代表元.因為a的等價類[a]R中的任何兩個元素都等價.?b,c∈[a]R，有aRb,aRc，由等價關(guān)系R的對稱性，有aRb?bRa，又aRc，由等價關(guān)系R的傳遞性，有bRc，所以等價類中的任何兩個元素都等價.因此等價類中任何一元與等價類中的任何元素都等價，所以等價類中任意一元是該類的一個代表元.

上面定理1證明了在同一極限過程中，兩函數(shù)極限相等這個性質(zhì)R是集合A的一個等價關(guān)系.集合A={f(x)|limf(x)存在},所以以f(x)為代表元的等價類為

[f(x)]R={g(x)|f(x)Rg(x)，即在同一極限過程中，limf(x)=limg(x),g(x)∈A}.

顯然等價類[f(x)]R是集合A的子集.

定義4[1]由集合A中所有等價類構(gòu)成的集合{[a]R|a∈A}，稱為A對等價關(guān)系R的商集，記為A/R，所以商集A/R={[a]R|a∈A}.

由定義4知，商集A/R的元素是等價類[a]R，即A的子集.

定義5[3]若集合A的一個子集族π(A)={Ai|Ai?A,Ai≠?,i∈I}，滿足

(ii) 若Ai≠Aj(?i,j∈I)，則Ai∩Aj=?，

則稱π(A)是集合A的一個分類.

文獻[3]已經(jīng)證明了這個定理：設(shè)R是集合A的一個等價關(guān)系，對?a∈A，等價類

[a]R={x|aRx,x∈A}，

則商集A/R={[a]R|a∈A}是A的一個分類.

由此定理，可得到如下推論1.

推論1設(shè)集合A={f(x)|在同一極限過程中，limf(x)存在},R是在同一極限過程中，兩函數(shù)極限相等這個性質(zhì)，則商集A/R={[f(x)]R|?f(x)∈A}是集合A的一個分類，其中[f(x)]R是以f(x)為代表元的等價類[f(x)]R={g(x)|f(x)Rg(x),g(x)∈A}.

證由前面定理1已證，性質(zhì)R是集合A的一個等價關(guān)系，以f(x)為代表元的等價類為

[f(x)]R={g(x)|f(x)Rg(x),g(x)∈A}.

由文獻[3]已經(jīng)證明了的上述定理知，商集

A/R={[f(x)]R|?f(x)∈A}

是集合A的一個分類.

這樣就清楚了商集A/R={[f(x)]R|?f(x)∈A}的代數(shù)結(jié)構(gòu)，是集合A的一個分類.

定義6[1]設(shè)非空集合A中有二元運算°，如果集合A的一個等價關(guān)系R在該運算下仍被保持，即

aRb,cRd? (a°c)R(b°d)， ?a,b,c,d∈A,

則稱等價關(guān)系R為集合A中關(guān)于運算°的同余關(guān)系.此時，以a為代表的等價類[a]R也叫做a的同余類.同余類間的運算記為

[a]R°[b]R=[a°b]R， ?a,b∈A.

因為同余類也是等價類，又等價類是子集，所以同余類也是子集.當有同余關(guān)系，同余類間(子集間)就有運算，同余類的運算可歸結(jié)為代表元的運算，且同余類也類似等價類不依賴代表元的選擇.

定理2設(shè)集合A={f(x)|在同一極限過程中，limf(x)存在},定義集合A中的二元運算±×÷為通常意義下兩函數(shù)的加減乘除四則運算，則在同一極限過程中，兩函數(shù)極限相等這個性質(zhì)R是集合A關(guān)于二元運算±×÷的一個同余關(guān)系R.除法時要求分母的極限不等于零.

證由上面定理1已證在同一極限過程中，兩函數(shù)極限相等這個性質(zhì)R是集合A的一個等價關(guān)系R.下面證明R是同余關(guān)系.

首先證明二元運算為+時定理2成立.

?f1,f2∈[f(x)]R，所以f1Rf2,即limf1=limf2.?g1,g2∈[g(x)]R，所以g1Rg2,即limg1=limg2，且f1,f2,g1,g2∈A，故limf1,limf2,limg1,limg2都存在，所以極限四則運算法則[4]成立，有

lim(f1+g1)=limf1+limg1=limf2+limg2=lim(f2+g2).

即(f1+g1)R(f2+g2).故兩函數(shù)極限相等這個性質(zhì)R是集合A關(guān)于二元運算+的一個同余關(guān)系.由極限四則運算法則[4]，類似可證，對于二元運算-×÷，定理2成立.證畢.

在定理2證明同余關(guān)系時，需要用到微積分中的知識極限四則運算法則.

由定理2知，兩函數(shù)極限相等是集合A關(guān)于二元運算±×÷的一個同余關(guān)系R，此時等價類[f(x)]R是同余類，商集A/R={[f(x)]R|f(x)∈A}的元素是同余類，同余類之間有二元運算.

若在集合A中有二元運算°，則稱(A,°)是一代數(shù)系統(tǒng)，(A/R,°)是商代數(shù)，其中A/R是商集.

定義7[5]設(shè)非空集合A中有二元運算°，且運算滿足：

(i) 封閉性?a,b∈A，有(a°b)∈A；

(ii) 結(jié)合律?a,b,c∈A，有(a°b)°c=a°(b°c)；

(iii) 幺元律存在e∈A,?a∈A，有a°e=e°a=a,稱e為幺元；

(iv) 逆元律?a∈A,?b∈A，使a°b=b°a=e,稱b為a的逆元，記作b=a-1，則稱代數(shù)系統(tǒng)(A,°)為一個群.

定理3設(shè)集合A={f(x)|在同一極限過程中，limf(x)存在},定義集合A中的二元運算±為通常意義下兩函數(shù)的加減，則代數(shù)系統(tǒng)(A,±)為一個群.

證對于二元運算±.

(i) 封閉性 ?f(x),g(x)∈A，所以在同一極限過程中，limf(x)存在，limg(x)存在,由極限四則運算法則，有l(wèi)im[f(x)±g(x)]=limf(x)±limg(x)存在，故f(x)±g(x)∈A,所以封閉性成立；

(ii) 結(jié)合律 ?f(x),g(x),h(x)∈A，顯然[f(x)±g(x)]±h(x)=f(x)±[g(x)±h(x)]，結(jié)合律成立；

(iii) 幺元律 ?幺元e=0∈A， ?f(x)∈A，有f(x)±0=0±f(x)=f(x)，所以幺元律成立；

(iv) 逆元律 對于二元運算+，?f(x)∈A, ?b=-f(x)∈A，使

f(x)+[-f(x)]=[-f(x)]+f(x)=0=e

所以逆元b=-f(x).

對于二元運算-，?f(x)∈A，?b=f(x)∈A，使f(x)-f(x)=f(x)-f(x)=0=e，所以逆元b=f(x),逆元律成立.由定義7知，(A,±)為一個群.證畢.

定義8[5]稱由商代數(shù)(A/R,°)構(gòu)成的群為商群.

文獻[5]中給出了這個定理：設(shè)A是非空集合，°是集合A上的二元運算，代數(shù)系統(tǒng)(A,°)是群，R是集合A關(guān)于二元運算°的同余關(guān)系，則商代數(shù)(A/R,°)是群.

由此定理，可得到如下推論2.

推論2設(shè)集合A={f(x)|在同一極限過程中，limf(x)存在}，定義集合A中的二元運算±為通常意義下兩函數(shù)的加減，性質(zhì)R為集合A中兩函數(shù)極限相等，則商代數(shù)(A/R,±)是商群.

證上面定理3已經(jīng)證明代數(shù)系統(tǒng)(A,±)構(gòu)成一個群，定理2已經(jīng)證明兩函數(shù)極限相等的性質(zhì)R是集合A關(guān)于二元運算±的一個同余關(guān)系，由文獻[5]中給出的上述定理知，商代數(shù)(A/R,±)是群.由定義8知，商代數(shù)(A/R,±)是商群.

3 結(jié) 論

本文在微積分中引入代數(shù)系統(tǒng)理論，對一元函數(shù)的集合A關(guān)于極限相等的性質(zhì)，進行代數(shù)結(jié)構(gòu)分析.證明了函數(shù)極限相等是一個等價關(guān)系，基于此等價關(guān)系，證明了商集

A/R={[f(x)]R|?f(x)∈A}

是集合A的一個分類.證明了函數(shù)極限相等是一個同余關(guān)系，進而證明了由極限存在的一元函數(shù)集合A所構(gòu)成的代數(shù)系統(tǒng)(A,±)是一個群，由商集A/R構(gòu)成的商代數(shù)(A/R，±)是一個商群.這樣對一元函數(shù)集合的代數(shù)構(gòu)造有了一個大致的了解.這對微積分教學的外延有一定的幫助.

在研究集合的代數(shù)結(jié)構(gòu)時，用等價類把集合分成子集.當子集之間有運算，就涉及同余類概念.當集合的元素之間帶有運算，也就涉及群的概念.

致謝感謝相關(guān)文獻對本人的啟示；感謝審稿老師對本文提出的寶貴修改意見，使該文內(nèi)容更清晰和豐滿.