Warning: Undefined variable $type in /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php on line 3
Warning: "continue" targeting switch is equivalent to "break". Did you mean to use "continue 2"? in /home/users/1/sub.jp-asate/web/wiki/includes/json/FormatJson.php on line 297
Warning: Trying to access array offset on value of type bool in /home/users/1/sub.jp-asate/web/wiki/includes/Setup.php on line 660
Warning: session_name(): Session name cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/Setup.php on line 834
Warning: ini_set(): Session ini settings cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/session/PHPSessionHandler.php on line 126
Warning: ini_set(): Session ini settings cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/session/PHPSessionHandler.php on line 127
Warning: session_cache_limiter(): Session cache limiter cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/session/PHPSessionHandler.php on line 133
Warning: session_set_save_handler(): Session save handler cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/session/PHPSessionHandler.php on line 140
Warning: "continue" targeting switch is equivalent to "break". Did you mean to use "continue 2"? in /home/users/1/sub.jp-asate/web/wiki/languages/LanguageConverter.php on line 773
Warning: Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/Feed.php on line 294
Warning: Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/Feed.php on line 300
Warning: Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/WebResponse.php on line 46
Warning: Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/WebResponse.php on line 46
Warning: Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/WebResponse.php on line 46 http:///mymemo.xyz/wiki/api.php?action=feedcontributions&feedformat=atom&user=1.114.13.110miniwiki - 利用者の投稿記録 [ja]2024-06-08T02:42:10Z利用者の投稿記録MediaWiki 1.31.0定数2017-06-11T13:37:44Z<p>1.114.13.110: /* 注 */</p>
<hr />
<div>{{otheruses}}<br />
{{refimprove|date=August 2012}}<br />
{{for|本項における意味でのより狭義の扱い|数学定数}}<br />
[[数学]]における'''定数'''（ていすう、じょうすう、{{lang-en-short|constant}}; '''常数'''）あるいは'''[[論理定項|定項]]''' (constant term) は、二つの異なる意味を示し得る。そのひとつは固定 (fix) され{{efn|{{lang-en-short|constant}} は形容詞として「変化しない」こと (non-varying) を意味する}}、[[well-defined|矛盾なく定義された]][[数]]（またはもっとほかの[[数学的対象]]）であり、この意味で言う定数であることをはっきりさせるために「[[数学定数]]」（あるいは「[[物理定数]]」もそうだが）という語を用いることもある。もう一つの意味は、[[定数函数]]またはその{{ill2|値 (数学)|label=値|en|value (mathematics)}}（これらはふつうたがいに同一視される）を指し示すもので、この意味での「定数」は扱う問題における主変数に依存しない[[変数]]という形で表されるのが普通である。後者の意味での例として、{{ill2|積分定数|preserve=1|en|constant of integration}}は、与えられた函数の原始函数をすべて得るために特定の[[原始函数]]に加えられる、任意の（積分変数に依存しないという意味での）定数函数を言う。<br />
<br />
例えば、一般の二次函数はふつう {{mvar|a, b, c}} を定数（あるいはパラメタ）として<br />
: <math>a x^2 + b x + c</math><br />
のようにあらわされる。ここに変数 {{mvar|x}} は考えている函数の[[引数]]の[[メタ構文変数|プレースホルダ]]となるものである。より明示的に<br />
: <math>x\mapsto a x^2 + b x + c</math><br />
のように書けば {{mvar|x}} がこの函数の引数であることが明瞭で、しかも暗黙の裡に {{mvar|a, b, c}} が定数であることを提示できる。この例では、定数 {{mvar|a, b, c}} はこの多項式の[[係数]]と呼ばれる。{{mvar|c}} の項は {{mvar|x}} を含まないから{{ill2|定数項|en|Constant term}}と呼ばれ（これを {{math|''x''{{sup|0}}}} の係数と考えることができる）、多項式において[[多項式の次数|次数]]が零の任意の項または式は定数である<ref>{{cite book | last = Foerster | first = Paul A. | title = Algebra and Trigonometry: Functions and Applications, Teacher's Edition | edition = Classics | year = 2006 | isbn = 0-13-165711-9 | publisher = [[Prentice Hall]] | location = Upper Saddle River, NJ}}</ref>{{rp|18}}。<br />
<br />
== 概観 ==<br />
[[数学]]において定数は、{{ill2|値 (数学)|label=値|en|value (mathematics)}}が固定されて変化しない数である。固定されていると言っても、必ずしもその値が具体的に特定されている必要はなく、特定の値をとることが決まっているというのが定数の特徴である。すなわち、「未知の定数」あるいは「任意定数」という概念が存在するのであるが、これは[[変数 (数学)|変数]]とは異なる概念であることに注意されたい。変数には、ある範囲を任意に動かすことのみが想定されており、値が定められているわけではないのである（実際には、変数を任意定数と見なして議論をすすめることは少なからずあるが、そのことの詳細は[[変数 (数学)|変数]]の項を参照されたい）。<br />
<br />
未知あるいは既知の定数を表す記号としては、[[ラテン文字]]の最初の方からとって、{{mvar|[[a]]}}, {{mvar|[[b]]}}, {{mvar|[[c]]}} がよく用いられる。特に {{mvar|c}} は英語の {{en|constant}} に通じるため他の文字より先に用いられることもある（これに限らず文脈に応じて、表す対象物が明確な数に対してはそれに相応しい文字が与えられることが多い）。ラテン文字の大文字か小文字のいずれを用いるかはそれほど厳格な指針があるわけではないが、複数の定数を扱う場合にはいずれか一方に統一されることが多い。小文字の[[ギリシャ文字]]の最初の方から {{mvar|[[α]]}}, {{mvar|[[β]]}}, {{mvar|[[γ]]}} などを用いることもある。これは[[ルネ・デカルト|デカルト]]の記法に倣ったものである。また、ドイツ語 {{de|Konstante}} から {{mvar|[[k]]}} を用いることもある。<br />
<br />
また、ある数が定数であることを示すために、<br />
:{{math|''C'' {{=}} const.}}<br />
としばしば書き表される。この場合、ある数 {{mvar|C}} が定数であることを意味する。{{en|const.}} は英語の {{en|constant}} を略記したものであり、著者によっては略さずに書いたり、頭文字を大文字にする場合がある。また、英語以外の文献では、その文献に用いられている言語の対応する語彙が使われることもある（たとえば日本語文献においては「定数」）。この記法は単一の記号で表された数に限らず、<br />
:{{math|''x''<sup>2</sup> + ''y''<sup>2</sup> {{=}} const.}}<br />
のように、ある演算結果が定数となる場合を示すためにも用いられる。<br />
<br />
定数はしばしば[[関数 (数学)|関数]]の[[引数]]である変数に[[変数 (数学)|代入]]される。たとえば {{mvar|x}} を引数に取る関数 {{math|''f''&thinsp;(''x'')}} について、{{mvar|x}} に定数 {{mvar|a}} を代入したものを {{math|''f''&thinsp;(''a'')}} と表すことがある。より厳格な記法として、以下のように関数の横に線を引き、線の横に代入する定数と定数が代入される引数を示す方法もしばしば用いられる。<br />
:<math>\left.f(x)\right|_{x = a}</math><br />
<br />
== 主変数に依存しない変数 ==<br />
{{Main|定数函数|{{ill2|零項演算|en|Nullary}}}}<br />
<br />
引数の変化を無視して常に同じ値をとる[[定数函数]]として「定数」を用いることができる。一変数の定数函数（例えば {{math|1=''f''(''x'') = 5}}）は {{mvar|x}}-軸に平行な水平線をグラフに持つ。このような函数は定義式に引数が現れないから常に同じ値（いまの例では {{math|5}}）をとる。<br />
<br />
この意味で「定数」であるという性質は文脈に依存する (context-dependent) 概念で、特定の変数に依存しない（その変数の変化に伴っては変化しない）という意味で「定数」と言うことができる。例えば初等解析学において、<br />
: <math>\begin{align}<br />
\frac{d}{dx} 2^x & = \lim_{h\to 0} \frac{2^{x+h} - 2^x} h = \lim_{h\to 0} 2^x\frac{2^h - 1} h \\[8pt]<br />
& = 2^x \lim_{h\to 0} \frac{2^h - 1} h & & \text{since } x \text{ is constant (i.e. does not depend on } h\text{)} \\[8pt]<br />
& = 2^x \cdot\mathbf{constant,} & & \text{where }\mathbf{constant}\text{ means not depending on } x.<br />
\end{align}</math><br />
のような用例を見ることができる。この例で真ん中の行は {{mvar|h}} を動かすときに固定されているという意味で {{mvar|x}} は定数であると言っているのであり、最後の行では {{mvar|x}} に依存しないという意味で定数というのである。<br />
<br />
== 有名な定数 ==<br />
{{main|数学定数}}<br />
数学において特定の数値は頻繁に表れ、慣習的に特別な記号であらわされる。そのような数値とその標準的な記号は数学定数と呼ばれる。<br />
* {{math|[[0]]}} (零).<br />
* {{math|[[1]]}} (壱): 零の直後の[[自然数]].<br />
* {{math|{{pi}}}} ([[円周率]]): 円の直径に対する円周の長さの[[比]] {{math|&asymp; 3.141592653589793238462643….}}<ref>{{cite book | last = Arndt | first = Jörg | last2 = Haenel | first2 = Christoph | title = Pi – Unleashed | page = 240 | year = 2001 | publisher = Springer | isbn = 978-3540665724}}</ref><br />
* {{mvar|e}} ([[ネイピア数]]) {{math|&asymp; 2.718281828459045235360287….}}<br />
* {{mvar|i}} ([[虚数単位]]): {{math|1=''i''<sup>2</sup> = −1.}}<br />
* {{math|{{sqrt|2}}}} ([[2の平方根]]): 一辺 {{math|1}} の正方形の対角線の長さ {{math|&asymp; 1.414213562373095048801688….}}<br />
* {{mvar|φ}} ([[黄金比]]): {{math|(1 + {{sqrt|5}})/2 &asymp; 1.618033988749894848204586….}}<br />
<br />
== 解析学において ==<br />
[[初等解析学]]において定数は、そこで扱う演算によっていくつか異なる扱いをされる。例えば[[微分]]において、定数函数の導函数は零函数である。これは取りも直さず、微分係数が函数のある変数に関する変化率を測るものであって、定数函数は定義により変化をしないものなのだから、導函数が零であるのは必然である。他方、[[積分]]の場合は定数函数の原始函数において、その定数函数の値は積分変数に掛かる係数になる。[[極限 (数学)|極限]]の評価においては、定数は評価の前後で変わらず同じ値のままである。<br />
<br />
一変数函数の[[不定積分]]においては{{ill2|積分定数|preserve=1|en|constant of integration}}が含まれる。これが生じるのは不定積分が微分して得られる函数の原函数を恢復することを目的とするという意味において[[微分]]の逆演算になっているという不定積分の性質によるものである。既に注意したように定数函数の微分は零函数であり、微分演算は線型作用素であるから、定数だけしか違わない任意の函数同士は同じ導函数を持つ。このことの重要性を顕示するために積分定数は不定積分に加えられ、それにより可能なすべての解函数を表すことが保証される。積分定数（一般に {{mvar|c}} と書かれる）は、それが固定されているが未知 (fixed but undefined) の値であるものという意味での「定数」を表している。<br />
<br />
== 注 ==<br />
=== 注釈 ===<br />
{{notelist}}<br />
<br />
=== 参考文献 ===<br />
{{reflist}}<br />
<br />
== 外部リンク ==<br />
* {{MathWorld|urlname=Constant|title=Constant}}<br />
* {{SpringerEOM|urlname=Constant|title=Constant}}<br />
<br />
{{DEFAULTSORT:ていすう}}<br />
[[Category:定数|*]]<br />
[[Category:初等数学]]<br />
[[Category:数学に関する記事]]</div>1.114.13.110 Warning: Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/WebResponse.php on line 46