函数概念是全部数学概念中最重要的概念之一.docx
- 文档编号:15402073
- 上传时间:2023-07-04
- 格式:DOCX
- 页数:15
- 大小:29.10KB
函数概念是全部数学概念中最重要的概念之一.docx
《函数概念是全部数学概念中最重要的概念之一.docx》由会员分享,可在线阅读,更多相关《函数概念是全部数学概念中最重要的概念之一.docx(15页珍藏版)》请在冰点文库上搜索。
函数概念是全部数学概念中最重要的概念之一
函数概念是全部数学概念中最重要的概念之一,纵观300年来函数概念的发展,众多数学家从集合、代数、直至对应、集合的角度不断赋予函数概念以新的思想,从而推动了整个数学的发展。
本文拟通过对函数概念的发展与比较的研究,对函数概念的教学进行一些探索。
1、函数概念的纵向发展
1.1早期函数概念——几何观念下的函数
十七世纪伽俐略(G.Galileo,意,1564-1642)在《两门新科学》一书中,几乎从头到尾包含着函数或称为变量的关系这一概念,用文字和比例的语言表达函数的关系。
1673年前后笛卡尔(Descartes,法,1596-1650)在他的解析几何中,已经注意到了一个变量对于另一个变量的依赖关系,但由于当时尚未意识到需要提炼一般的函数概念,因此直到17世纪后期牛顿、莱布尼兹建立微积分的时候,数学家还没有明确函数的一般意义,绝大部分函数是被当作曲线来研究的。
1.2十八世纪函数概念——代数观念下的函数
1718年约翰·贝努利(BernoulliJohann,瑞,1667-1748)才在莱布尼兹函数概念的基础上,对函数概念进行了明确定义:
由任一变量和常数的任一形式所构成的量,贝努利把变量x和常量按任何方式构成的量叫“x的函数”,表示为,其在函数概念中所说的任一形式,包括代数式子和超越式子。
18世纪中叶欧拉(L.Euler,瑞,1707-1783)就给出了非常形象的,一直沿用至今的函数符号。
欧拉给出的定义是:
一个变量的函数是由这个变量和一些数即常数以任何方式组成的解析表达式。
他把约翰·贝努利给出的函数定义称为解析函数,并进一步把它区分为代数函数(只有自变量间的代数运算)和超越函数(三角函数、对数函数以及变量的无理数幂所表示的函数),还考虑了“随意函数”(表示任意画出曲线的函数),不难看出,欧拉给出的函数定义比约翰·贝努利的定义更普遍、更具有广泛意义。
1.3十九世纪函数概念——对应关系下的函数
1822年傅里叶(Fourier,法,1768-1830)发现某些函数可用曲线表示,也可用一个式子表示,或用多个式子表示,从而结束了函数概念是否以唯一一个式子表示的争论,把对函数的认识又推进了一个新的层次。
1823年柯西(Cauchy,法,1789-1857)从定义变量开始给出了函数的定义,同时指出,虽然无穷级数是规定函数的一种有效方法,但是对函数来说不一定要有解析表达式,不过他仍然认为函数关系可以用多个解析式来表示,这是一个很大的局限,突破这一局限的是杰出数学家狄利克雷。
1837年狄利克雷(Dirichlet,德,1805-1859)认为怎样去建立x与y之间的关系无关紧要,他拓广了函数概念,指出:
“对于在某区间上的每一个确定的x值,y都有一个或多个确定的值,那么y叫做x的函数。
”狄利克雷的函数定义,出色地避免了以往函数定义中所有的关于依赖关系的描述,简明精确,以完全清晰的方式为所有数学家无条件地接受。
至此,我们已可以说,函数概念、函数的本质定义已经形成,这就是人们常说的经典函数定义。
等到康托尔(Cantor,德,1845-1918)创立的集合论在数学中占有重要地位之后,维布伦(Veblen,美,1880-1960)用“集合”和“对应”的概念给出了近代函数定义,通过集合概念,把函数的对应关系、定义域及值域进一步具体化了,且打破了“变量是数”的极限,变量可以是数,也可以是其它对象(点、线、面、体、向量、矩阵等)。
1.4现代函数概念——集合论下的函数
1914年豪斯道夫(F.Hausdorff)在《集合论纲要》中用“序偶”来定义函数。
其优点是避开了意义不明确的“变量”、“对应”概念,其不足之处是又引入了不明确的概念“序偶”。
库拉托夫斯基(Kuratowski)于1921年用集合概念来定义“序偶”,即序偶(a,b)为集合{{a},{b}},这样,就使豪斯道夫的定义很严谨了。
1930年新的现代函数定义为,若对集合M的任意元素x,总有集合N确定的元素y与之对应,则称在集合M上定义一个函数,记为y=f(x)。
元素x称为自变元,元素y称为因变元。
函数概念的定义经过三百多年的锤炼、变革,形成了函数的现代定义形式,但这并不意味着函数概念发展的历史终结,20世纪40年代,物理学研究的需要发现了一种叫做Dirac-δ函数,它只在一点处不为零,而它在全直线上的积分却等于1,这在原来的函数和积分的定义下是不可思议的,但由于广义函数概念的引入,把函数、测度及以上所述的Dirac-δ函数等概念统一了起来。
因此,随着以数学为基础的其他学科的发展,函数的概念还会继续扩展
函数概念缺乏科学的定义,引起了理论与实践的尖锐矛盾.例如,偏微分方程在工程技术中有广泛应用,但由于没有函数的科学定义,就极大地限制了偏微分方程理论的建立.1833年至1834年,高斯开始把注意力转向物理学.他在和W·威伯尔合作发明电报的过程中,做了许多关于磁的实验工作,提出了“力与距离的平方成反比例”这个重要的理论,使得函数作为数学的一个独立分支而出现了,实际的需要促使人们对函数的定义进一步研究.
后来,人们又给出了这样的定义:
如果一个量依赖着另一个量,当后一量变化时前一量也随着变化,那么第一个量称为第二个量的函数.“这个定义虽然还没有道出函数的本质,但却把变化、运动注入到函数定义中去,是可喜的进步.”
在函数概念发展史上,法国数学家富里埃的工作影响最大,富里埃深刻地揭示了函数的本质,主张函数不必局限于解析表达式.1822年,他在名著《热的解析理论》中说,“通常,函数表示相接的一组值或纵坐标,它们中的每一个都是任的……,我们不假定这些纵坐标服从一个共同的规律;他们以任何方式一个挨一个.”在该书中,他用一个三角级数和的形式表达了一个由不连续的“线”所给出的函数.更确切地说就是,任意一个以2π为周期函数,在〔-π,π〕区间内,可以由图表示出,其中,富里埃的研究,从根本上动摇了旧的关于函数概念的传统思想,在当时的数学界引起了很大的震动.原来,在解析式和曲线之间并不存在不可逾越的鸿沟,级数把解析式和曲线沟通了,那种视函数为解析式的观点终于成为揭示函数关系的巨大障碍.
通过一场争论,产生了罗巴切夫斯基和狄里克莱的函数定义.
1834年,俄国数学家罗巴切夫斯基提出函数的定义:
“x的函数是这样的一个数,它对于每个x都有确定的值,并且随着x一起变化.函数值可以由解析式给出,也可以由一个条件给出,这个条件提供了一种寻求全部对应值的方法.函数的这种依赖关系可以存在,但仍然是未知的.”这个定义建立了变量与函数之间的对应关系,是对函数概念的一个重大发展,因为“对应”是函数概念的一种本质属性与核心部分.
1837年,德国数学家狄里克莱(Dirichlet)认为怎样去建立x与y之间的关系无关紧要,所以他的定义是:
“如果对于x的每一值,y总有完全确定的值与之对应,则y是x的函数.”
根据这个定义,即使像如下表述的,它仍然被说成是函数(狄里克莱函数):
f(x)=1(x为有理数), 0(x为无理数).
在这个函数中,如果x由0逐渐增大地取值,则f(x)忽0忽1.在无论怎样小的区间里,f(x)无限止地忽0忽1.因此,它难用一个或几个式子来加以表示,甚至究竟能否找出表达式也是一个问题.但是不管其能否用表达式表示,在狄里克莱的定义下,这个f(x)仍是一个函数.
狄里克莱的函数定义,出色地避免了以往函数定义中所有的关于依赖关系的描述,以完全清晰的方式为所有数学家无条件地接受.至此,我们已可以说,函数概念、函数的本质定义已经形成,这就是人们常说的经典函数定义.
(一)
马克思曾经认为,函数概念来源于代数学中不定方程的研究.由于罗马时代的丢番图对不定方程已有相当研究,所以函数概念至少在那时已经萌芽.
自哥白尼的天文学革命以后,运动就成了文艺复兴时期科学家共同感兴趣的问题,人们在思索:
既然地球不是宇宙中心,它本身又有自转和公转,那么下降的物体为什么不发生偏斜而还要垂直下落到地球上?
行星运行的轨道是椭圆,原理是什么?
还有,研究在地球表面上抛射物体的路线、射程和所能达到的高度,以及炮弹速度对于高度和射程的影响等问题,既是科学家的力图解决的问题,也是军事家要求解决的问题,函数概念就是从运动的研究中引申出的一个数学概念,这是函数概念的力学来源.
(二)
早在函数概念尚未明确提出以前,数学家已经接触并研究了不少具体的函数,比如对数函数、三角函数、双曲函数等等.1673年前后笛卡儿在他的解析几何中,已经注意到了一个变量对于另一个变量的依赖关系,但由于当时尚未意识到需要提炼一般的函数概念,因此直到17世纪后期牛顿、莱布尼兹建立微积分的时候,数学家还没有明确函数的一般意义.
1673年,莱布尼兹首次使用函数一词表示“幂”,后来他用该词表示曲线上点的横坐标、纵坐标、切线长等曲线上点的有关几何量.由此可以看出,函数一词最初的数学含义是相当广泛而较为模糊的,几乎与此同时,牛顿在微积分的讨论中,使用另一名词“流量”来表示变量间的关系,直到1689年,瑞士数学家约翰·贝努里才在莱布尼兹函数概念的基础上,对函数概念进行了明确定义,贝努里把变量x和常量按任何方式构成的量叫“x的函数”,表示为yx.
当时,由于连接变数与常数的运算主要是算术运算、三角运算、指数运算和对数运算,所以后来欧拉就索性把用这些运算连接变数x和常数c而成的式子,取名为解析函数,还将它分成了“代数函数”与“超越函数”.
18世纪中叶,由于研究弦振动问题,达朗贝尔与欧拉先后引出了“任意的函数”的说法.在解释“任意的函数”概念的时候,达朗贝尔说是指“任意的解析式”,而欧拉则认为是“任意画出的一条曲线”.现在看来这都是函数的表达方式,是函数概念的外延.
(三)
函数概念缺乏科学的定义,引起了理论与实践的尖锐矛盾.例如,偏微分方程在工程技术中有广泛应用,但由于没有函数的科学定义,就极大地限制了偏微分方程理论的建立.1833年至1834年,高斯开始把注意力转向物理学.他在和W·威伯尔合作发明电报的过程中,做了许多关于磁的实验工作,提出了“力与距离的平方成反比例”这个重要的理论,使得函数作为数学的一个独立分支而出现了,实际的需要促使人们对函数的定义进一步研究.
后来,人们又给出了这样的定义:
如果一个量依赖着另一个量,当后一量变化时前一量也随着变化,那么第一个量称为第二个量的函数.“这个定义虽然还没有道出函数的本质,但却把变化、运动注入到函数定义中去,是可喜的进步.”
在函数概念发展史上,法国数学家富里埃的工作影响最大,富里埃深刻地揭示了函数的本质,主张函数不必局限于解析表达式.1822年,他在名著《热的解析理论》中说,“通常,函数表示相接的一组值或纵坐标,它们中的每一个都是任意的……,我们不假定这些纵坐标服从一个共同的规律;他们以任何方式一个挨一个.”在该书中,他用一个三角级数和的形式表达了一个由不连续的“线”所给出的函数.更确切地说就是,任意一个以2π为周期函数,在〔-π,π〕区间内,可以由
表示出,其中
富里埃的研究,从根本上动摇了旧的关于函数概念的传统思想,在当时的数学界引起了很大的震动.原来,在解析式和曲线之间并不存在不可逾越的鸿沟,级数把解析式和曲线沟通了,那种视函数为解析式的观点终于成为揭示函数关系的巨大障碍.
通过一场争论,产生了罗巴切夫斯基和狄里克莱的函数定义.
1834年,俄国数学家罗巴切夫斯基提出函数的定义:
“x的函数是这样的一个数,它对于每个x都有确定的值,并且随着x一起变化.函数值可以由解析式给出,也可以由一个条件给出,这个条件提供了一种寻求全部对应值的方法.函数的这种依赖关系可以存在,但仍然是未知的.”这个定义建立了变量与函数之间的对应关系,是对函数概念的一个重大发展,因为“对应”是函数概念的一种本质属性与核心部分.
1837年,德国数学家狄里克莱(Dirichlet)认为怎样去建立x与y之间的关系无关紧要,所以他的定义是:
“如果对于x的每一值,y总有完全确定的值与之对应,则y是x的函数.”
根据这个定义,即使像如下表述的,它仍然被说成是函数(狄里克莱函数):
f(x)=1(x为有理数),
0(x为无理数).
在这个函数中,如果x由0逐渐增大地取值,则f(x)忽0忽1.在无论怎样小的区间里,f(x)无限止地忽0忽1.因此,它难用一个或几个式子来加以表示,甚至究竟能否找出表达式也是一个问题.但是不管其能否用表达式表示,在狄里克莱的定义下,这个f(x)仍是一个函数.
狄里克莱的函数定义,出色地避免了以往函数定义中所有的关于依赖关系的描述,以完全清晰的方式为所有数学家无条件地接受.至此,我们已可以说,函数概念、函数的本质定义已经形成,这就是人们常说的经典函数定义.
(四)
生产实践和科学实验的进一步发展,又引起函数概念新的尖锐矛盾,本世纪20年代,人类开始研究微观物理现象.1930年量子力学问世了,在量子力学中需要用到一种新的函数——δ-函数,
即ρ(x)=0,x≠0,
∞,x=0.
且
δ-函数的出现,引起了人们的激烈争论.按照函数原来的定义,只允许数与数之间建立对应关系,而没有把“∞”作为数.另外,对于自变量只有一个点不为零的函数,其积分值却不等于零,这也是不可想象的.然而,δ-函数确实是实际模型的抽象.例如,当汽车、火车通过桥梁时,自然对桥梁产生压力.从理论上讲,车辆的轮子和桥面的接触点只有一个,设车辆对轨道、桥面的压力为一单位,这时在接触点x=0处的压强是
P(0)=压力/接触面=1/0=∞.
其余点x≠0处,因无压力,故无压强,即P(x)=0.另外,我们知道压强函数的积分等于压力,即
函数概念就在这样的历史条件下能动地向前发展,产生了新的现代函数定义:
若对集合M的任意元素x,总有集合N确定的元素y与之对应,则称在集合M上定义一个函数,记为y=f(x).元素x称为自变元,元素y称为因变元.
函数的现代定义与经典定义从形式上看虽然只相差几个字,但却是概念上的重大发展,是数学发展道路上的重大转折,近代的泛函分析可以作为这种转折的标志,它研究的是一般集合上的函数关系.
函数概念的定义经过二百多年来的锤炼、变革,形成了函数的现代定义,应该说已经相当完善了.不过数学的发展是无止境的,函数现代定义的形式并不意味着函数概念发展的历史终结,近二十年来,数学家们又把函数归结为一种更广泛的概念—“关系”.
设集合X、Y,我们定义X与Y的积集X×Y为
X×Y={(x,y)|x∈X,y∈Y}.
积集X×Y中的一子集R称为X与Y的一个关系,若(x,y)∈R,则称x与y有关系R,记为xRy.若(x,y)R,则称x与y无关系.
现设f是X与Y的关系,即fX×Y,如果(x,y),(x,z)∈f,必有y=z,那么称f为X到Y的函数.在此定义中,已在形式上回避了“对应”的术语,全部使用集合论的语言了.
从以上函数概念发展的全过程中,我们体会到,联系实际、联系大量数学素材,研究、发掘、拓广数学概念的内涵是何等重要.
1.早期函数概念——几何观念下的函数
十七世纪伽俐略(G.Galileo,意,1564-1642)在《两门新科学》一书中,几乎全部包含函数或称为变量关系的这一概念,用文字和比例的语言表达函数的关系。
1673年前后笛卡尔(Descartes,法,1596-1650)在他的解析几何中,已注意到一个变量对另一个变量的依赖关系,但因当时尚未意识到要提炼函数概念,因此直到17世纪后期牛顿、莱布尼兹建立微积分时还没有人明确函数的一般意义,大部分函数是被当作曲线来研究的。
1673年,莱布尼兹首次使用“function”(函数)表示“幂”,后来他用该词表示曲线上点的横坐标、纵坐标、切线长等曲线上点的有关几何量。
与此同时,牛顿在微积分的讨论中,使用“流量”来表示变量间的关系。
2.十八世纪函数概念──代数观念下的函数
1718年约翰•贝努利(BernoulliJohann,瑞,1667-1748)在莱布尼兹函数概念的基础上对函数概念进行了定义:
“由任一变量和常数的任一形式所构成的量。
”他的意思是凡变量x和常量构成的式子都叫做x的函数,并强调函数要用公式来表示。
1755,欧拉(L.Euler,瑞士,1707-1783)把函数定义为“如果某些变量,以某一种方式依赖于另一些变量,即当后面这些变量变化时,前面这些变量也随着变化,我们把前面的变量称为后面变量的函数。
”
18世纪中叶欧拉(L.Euler,瑞,1707-1783)给出了定义:
“一个变量的函数是由这个变量和一些数即常数以任何方式组成的解析表达式。
”他把约翰•贝努利给出的函数定义称为解析函数,并进一步把它区分为代数函数和超越函数,还考虑了“随意函数”。
不难看出,欧拉给出的函数定义比约翰•贝努利的定义更普遍、更具有广泛意义。
3.十九世纪函数概念──对应关系下的函数
1821年,柯西(Cauchy,法,1789-1857)从定义变量起给出了定义:
“在某些变数间存在着一定的关系,当一经给定其中某一变数的值,其他变数的值可随着而确定时,则将最初的变数叫自变量,其他各变数叫做函数。
”在柯西的定义中,首先出现了自变量一词,同时指出对函数来说不一定要有解析表达式。
不过他仍然认为函数关系可以用多个解析式来表示,这是一个很大的局限。
1822年傅里叶(Fourier,法国,1768——1830)发现某些函数也已用曲线表示,也可以用一个式子表示,或用多个式子表示,从而结束了函数概念是否以唯一一个式子表示的争论,把对函数的认识又推进了一个新层次。
1837年狄利克雷(Dirichlet,德,1805-1859)突破了这一局限,认为怎样去建立x与y之间的关系无关紧要,他拓广了函数概念,指出:
“对于在某区间上的每一个确定的x值,y都有一个或多个确定的值,那么y叫做x的函数。
”这个定义避免了函数定义中对依赖关系的描述,以清晰的方式被所有数学家接受。
这就是人们常说的经典函数定义。
等到康托(Cantor,德,1845-1918)创立的集合论在数学中占有重要地位之后,维布伦(Veblen,美,1880-1960)用“集合”和“对应”的概念给出了近代函数定义,通过集合概念把函数的对应关系、定义域及值域进一步具体化了,且打破了“变量是数”的极限,变量可以是数,也可以是其它对象。
4.现代函数概念──集合论下的函数
1914年豪斯道夫(F.Hausdorff)在《集合论纲要》中用不明确的概念“序偶”来定义函数,其避开了意义不明确的“变量”、“对应”概念。
库拉托夫斯基(Kuratowski)于1921年用集合概念来定义“序偶”使豪斯道夫的定义很严谨了。
1930年新的现代函数定义为“若对集合M的任意元素x,总有集合N确定的元素y与之对应,则称在集合M上定义一个函数,记为y=f(x)。
元素x称为自变元,元素y称为因变元。
”
术语函数,映射,对应,变换通常都有同一个意思。
但函数只表示数与数之间的对应关系,映射还可表示点与点之间,图形之间等的对应关系。
可以说函数包含于映射。
正比例函数:
正比例函数y=kx(k是常数,k≠0)的图象是一条经过原点的直线.当k>0时,图象经过三、一象限,从左向右上升,即随x的增大y也增大;当k<0时,图象经过二、四象限,从左向右下降,即随x增大y反而减小.
正是由于正比例函数y=kx(k是常数,k≠0)的图象是一条直线,我们可以称它为直线y=kx.
(另:
中文“函数”名称的由来
在中国清代数学家李善兰(1811—1882)翻译的《代数学》一书中首次用中文把“function”翻译为“函数”,此译名沿用至今。
对为什么这样翻译这个概念,书中解释说“凡此变数中函彼变数者,则此为彼之函数”;这里的“函”是包含的意思。
)
深入研究一次函数
徐若翰
在学习一次函数时,根据中学要求,我们还要深入研究它的实际应用,以及如何改变图象的位置。
一、实际问题中的分段函数
[例1](2005年武汉市)小明早晨从家骑车到学校,先上坡后下坡,行程情况如图。
若返回时上、下一个坡的速度不变,那么小明从学校骑车回家用的时间是多少?
分析:
上、下坡的速度不同,问题要分两段来研究。
根据函数图象提供的信息,可知小明从家去学校时,上坡路程为3600米,下坡路程为9600-3600=6000(米)。
∴上坡速度为3600÷18=200(米/分钟)
下坡速度为6000÷(30-18)=500(米/分钟)
小明回家时,上坡路程6000米,下坡路程3600米,所用时间为6000÷200+3600÷500=37.2(分钟)。
二、在物理学科中的应用
[例2](2004年黄冈市)某班同学在探究弹簧的长度与外力的变化关系时,实验记录得到的相应数据如下表:
求y关于x的函数解析式及自变量的取值范围。
分析:
根据物理学知识可知,弹簧在外力(所挂砝码的重力)作用下发生形变(伸长),外力与指针位置的关系可以用一次函数表示;但是,每个弹簧所受的外力都有一定的限度,因此我们必须求出自变量的取值范围。
由已知数据求出:
在弹簧受力伸长过程中,
令y=7.5,得x=275
∴所求函数为
注两段之间的分界点是x=275,不是x=300。
三、直线平移的应用
[例3](2005年黑龙江省)在直角坐标系中,已知点A(-9,0)、P(0,-3)、C(0,-12)。
问:
在x轴上是否存在点Q,使以点A、C、P、Q为顶点的四边形是梯形?
若存在,求直线PQ的解析式;若不存在,请说明理由。
分析:
在所研究的梯形中哪两边平行?
有两种可能:
如果,就是把直线CA平移,经过P点易求直线CA的解析式为
平移后得到直线的解析式为
如果
把直线PA:
平移,经过C点
得到直线:
直线交x轴于点(-36,0)
直线的解析式为
如何理解函数概念
曹阳
函数是数学中的一个极其重要的基本概念,在中学数学中,函数及其有关的内容很丰富,所占份量重,掌握好函数的概念对今后的学习非常有用。
回顾函数概念的发展史,“函数”作为数学术语是莱布尼兹首次采用的,他在1692年的论文中第一次提出函数这一概念,但其含义与现在对函数的理解大不相同。
现代初中数学课程中,函数定义采用的是“变量说”。
即:
在某变化过程中,有两个变量x,y,如果对于x在某一范围内的每一个确定的值,按照某个对应法则,y都有唯一确定的值和它对应,那么就把y称为x的函数,x称为自变量,y称为因变量。
它明确指出,自变量x在某一给定范围可以取任一个值,因变量y按一定的规律也相应每次取唯一确定的值。
但是,初中阶段并不要求掌握自变量的取值范围(看一下初中要学的几个函数可知,这个定义完全够用,而且,对于初中生来说,也容易理解)。
函数概念的抽象性很强,学生不易理解,要理解函数概念必须明确两点:
第一,明确自变量和因变量的关系,在某变化过程中,有两个变量x,y,如果看成y随x的变化而变化,那么x称为自变量,y称为因变量;如果看成x随y的变化而变化,那么y称为自变量,x称为因变量。
第二,函数定义的核心是“一一对应”,即给定一个自变量x的值就有唯一确定的因变量y的值和它对应,这样的对应可以是“一个自变量对应一个因变量”(简称“一对一”),也可以是“几个自变量对应一个因变量”(简称“多对一”),但不可以是“一个自变量对应多个因变量”(简称“一对多”),下面以
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 函数 概念 全部 数学 最重要 之一