ウーソキマスラ: 新しいページ: '数学において'''方程式'''（ほうていしき、equation）とは、未知の数として ''x'' などの文字を含む等式のことで...'

2008-07-18T02:40:41Z

新しいページ: '数学において'''方程式'''（ほうていしき、<em lang="en">equation</em>）とは、未知の数として ''x'' などの文字を含む等式のことで...'

新規ページ

[[数学]]において'''方程式'''（ほうていしき、<em lang="en">equation</em>）とは、未知の数として ''x'' などの文字を含む[[等式]]のことである。

== 初等的説明 ==
[[等式]]に[[未知数]]が含まれるとき、'''方程式'''の概念が現れる。方程式において未知数として与えられた ''x'' などの文字は“様々に値を変える数である”と見なされて[[変数]]と呼ばれる。あるいは“特定の値を持つわけではない”という意味で'''不定元'''などともいう。変数である文字には、変域と呼ばれるある特定の範囲で値の[[代入]]（だいにゅう、{{lang|en|substitution}}; 置換）を考えることができる。各変数に代入されるべきものは、[[数|数値]]・[[関数 (数学)|関数]]・[[論理式|式]]など様々であり、それぞれの変数がどのような変域を持ち、どのような値をとりうるかは文脈に依存している。方程式は変数に値の代入が行われて初めて、それが等式として成立するか否かの評価が行われる。そして、与えられた方程式を「等式として正しく満たす」変数の値（変数に代入された値）を'''方程式の解'''と呼び、方程式の解を全て求めることを'''方程式を解く'''という。

: <div class="references-small">大抵の場合に、方程式の解となる値は変域内の任意の値ではなく、何らかの特定の値に制限を受け、時には存在しない場合すらありうる。一方で、たとえば実数全体を変域とする変数''x'' に関する等式 (''x'' + 1)<sup>2</sup> = ''x''<sup>2</sup> + 2''x'' + 1 <ref>どの変域上での恒等式かということは意識しておくべきだが、初等的な議論では'''暗黙に'''「実数全体で定義された式」の話を指していることも多く、変域が意識に上らないかもしれない。一応、ここでは実数全体を変域とすると断っておくが、もちろん、この式自体は実数変数に限らず可換環などが変域であるなら（分配法則をつかえるので）恒等式である。</ref>のように、現れる変数にどんな値を入れても成り立つ方程式はその変域上の[[恒等式]]と呼ばれる。単に方程式というとき、しばしば（暗黙に）恒等式でないようなものを指していることがあり、その立場では方程式は恒等式に対立するものとして理解される。</div>

一般には一つの方程式に変数が一つであるとは限らない。同じ文字は同時に同じ値をとるという約束の下で変数が複数存在する方程式を'''多元方程式'''あるいは'''多変数方程式''' {{lang|en|(multiple variable equation)}} などという。あるいはさらに、方程式として与えられる等式が一本である必要はない。方程式が一本ではなく複数あるとき、やはり同じ文字は同時に同じ値をとるという前提が成り立つならば、方程式は'''系をなす''' や'''連立する''' などといい、その複数本の方程式を一括りにして'''方程式系'''（ほうていしきけい、{{lang|en|system of equations}}）もしくは'''連立方程式'''（れんりつほうていしき、{{lang|en|simultaneous equation}}）などと呼ぶ。

: <div class="references-small">「多変数の方程式や連立方程式を解く」という場合、それが「与えられた方程式系を、命題として同値性を保ちながら、より本数の少なく、より単純な形の方程式系に帰着させる」という意味である場合が往々にしてある。実際にはこれは、既に与えた「方程式を解く」という言葉の「複数個ある変数の全てについて、方程式を満足する値を決定する」という意味と矛盾してはいない。なぜならば、この場合は方程式が無数の解を持ち、それら解の間に一定の関係が存在して、その関係がその単純な方程式系として記述されているものと考えられるからである。このことは、いくつかの変数については任意の値をとりうる定数（任意定数）を代入するものと考えれば、無数の解があると考える代わりに、いくつかの任意定数を含む "値" が解であったとも理解される。あるいは、任意定数が代入されうると考える代わりに変数を変数のまま扱うならば、多変数の方程式系は変数の間に成り立つ関係を記述する[[陰函数]]を定めるものと認識される。</div>

== 分類 ==
与えられた等式がどのようなものであるかということによって、方程式に特定の名前がついていることも多い。たとえば、（[[多項式]]）= 0 の形に表すことができる方程式を[[代数方程式]]という。代数方程式はさらに、[[線型方程式#一次方程式|一次方程式]]、[[二次方程式]]といったように、多項式の次数 ''n'' により ''n'' 次方程式に分類される。なお、高次方程式というと、日本の[[数学 (教科)|中等数学]]では[[三次方程式|三次]]以上、一般には主に[[五次方程式|五次]]以上の代数方程式全般を指す。[[四次方程式|四次]]以下の代数方程式は代数的に解ける。一般に代数的に解けない代数方程式が存在するか、それがどの程度存在するかという研究は[[ガロア理論]]として結実したといえるが、これは同時に[[群 (数学)|群]]の概念の導入など、19世紀の代数学の発展の大きな原動力の一つとなった。

数の等式ではなく[[関数 (数学)|関数]]の等式で与えられる方程式を[[関数方程式]]とよぶ。特に関数とその導関数に対して関係式を与えることで得られる[[微分方程式]]は、物理学の研究から興味深い実例を与えられ、逆にその研究成果が物理学に寄与するなど、物理学との関連が深い。一方純粋数学的には層の理論などと結びついて興味深い結果を得ている。微分方程式はさらに[[常微分方程式]]と[[偏微分方程式]]にわけられる。離散系を扱う際には、微分でなく差分を扱うほうがしばしば有用であり、[[差分方程式]]が取り扱われる。微分方程式と差分方程式ではたくさんの類似概念や類似手法が並行して通用するため、同じ事象の連続的な側面と離散的な側面とを表していると考えることもできる。

また、方程式の形のみならず「重ね合わせの原理が働く」か否かという、解の状態についての分類が考えられる。解の重ね合わせが考えられる方程式を[[線型方程式]]、そうでないものを[[非線形方程式]]と呼ぶ。解の重ね合わせは[[ベクトル空間]]の概念と結びつき、[[線型性]]という観点から[[線型代数学]]の恩恵を受けることになる。とくに微分方程式を代数的に取り扱うという立場においては[[線型微分方程式]]は最も基本的な対象となる。

== 関数方程式の解の種類 ==
微分方程式や差分方程式の解は、一般解と特異解とに分類されることがある。


=== 一般解 ===
微分方程式や差分方程式の解の多くは、[[積分定数]]などの任意定数や、任意関数を含む形で記述されることが多い。
例えば、''n'' 階の常微分方程式であれば ''n'' 個の積分定数を持つ。このように、任意定数や、任意関数を含む形で書かれる解の事を '''一般解'''という。
一般解に含まれる任意定数や、任意関数に特定の値や関数を与えることによって得られる解、即ち、一般解に含まれる個々の解のことを'''特殊解'''或いは'''特解'''という。また、一般解が任意定数を係数とする関数の線型結合で表される場合、この既知の関数の組を'''基本解系'''と呼び、その要素を'''基本解'''という。（基本解系を単に基本解と呼ぶこともある。）
:基本解に関しては[[線型微分方程式]]も参照。

=== 特異解 ===
一般解はその名前から「方程式の解の全てを表現したもの。」と誤解されることが多いが、一般解だけでは表現できない解が存在することがある。
この一般解で表されない解を'''特異解'''という。

有名な例としては、[[クレロー]]の微分方程式
:<math>y = x \cdot \frac{dy}{dx} - \left(\frac{dy}{dx}\right)^2</math>
は、一般解
:y=''Cx'' − ''C''<sup>2</sup>
の他に特異解
:<math>y=\frac{x^2}{4}</math>
を持つ。

== 一般の方程式 ==
文字 ''x'' を含む[[論理式]] ''P''(''x'') に対し、''x'' に値の代入を行ったとき ''P''(''x'') が[[命題]]になるならば、論理式 ''P''(''x'') は変項 ''x'' に関する命題関数であるという。

命題関数 ''P''(''x'') が等式で与えられているとき、その命題関数 ''P''(''x'') のことを'''方程式'''と呼び、変項 ''x'' を'''変数'''、''P''(''x'') が真となる代入 ''x'' を方程式の解と呼ぶ。

注意点として、''P''(''x'') が ''x'' を変項とする命題関数であるといっても、論理式 ''P''(''x'') が必ずしも実際に文字 ''x'' を含む必要は無い。たとえば
: 「''x'' に関する方程式 1 = 0」
などと言ったとき、等式 1 = 0 にはまったく ''x'' は現れていないが、これが変数 ''x'' に関する命題であると宣言することによって、これは変数 ''x'' に関する方程式と見なされると考えることが可能である。そのように見なせば、等式 1 = 0 は解を持たない方程式になる。このような注意は一見して無為なものであるかのように受け取られるかもしれないが、'''既知の任意定数として''' 文字を含むような等式で定義される ''x'' を変数とする方程式の[[族 (数学)|“集まり”]]のなかで、“退化”しているものが含まれるときには、その注意の意味するところがあらわになる。

たとえば既知の任意定数（あるいは[[媒介変数|パラメータ]]） ''a'', ''b'', ''c'' を含み ''x'' を変数とする方程式（の族）
: ''ax''<sup>2</sup> + ''bx'' + ''c'' = 0
を解くこと、あるいはこの方程式の解の個数の判別を行うことを想定してみると、これは ''a'' ≠ 0 のときは二次方程式、''a'' = 0 かつ ''b'' ≠ 0 のときは一次方程式として、それぞれよく知られた仕方で解かれる。一方で、''a'' = ''b'' = 0 のとき、つまり等式 ''c'' = 0 は ''x'' の方程式なのだろうかということが問題となりうる。この場合においては、対処の仕方は少なくとも二つ存在する。それは、
# ''a'' = ''b'' = 0 のときは ''c'' = 0 となり、''x'' は式に現れないから、これは ''x'' に関する方程式ではないとする。
# ''x'' の方程式 ''c'' = 0 という言明には、変数 ''x'' のとりうる値を制限あるいは規定する条件式であることの表明として意味があるから、これは方程式であるとする。
の二通りである。前者は ''x'' を変数とする方程式 ''ax''<sup>2</sup> + ''bx'' + ''c'' = 0 という言明において、暗黙に ''a'' ≠ 0 または ''b'' ≠ 0 が仮定される、あるいは方程式という言明があることによって、それが ''a'' ≠ 0 または ''b'' ≠ 0 を包含しているとする立場に立っているのである。これに対して後者は、''c'' = 0 は ''x'' に無関係に常に真であるかあるいは常に偽であるから、''x'' は任意の値で解となるか、あるいは解を持たないかのいずれかであって、何も問題を生じてはいないとする立場にたっているわけである。いずれの立場も論理的には何の矛盾も含んでいないから、いずれの立場にたって論じているのかを明確にする限り、正当な議論が形成される。

== 転用表現 ==
方程式は数式を利用して問いを解くという観点から、諸問題を解決するときに最も適切な方法という様に転用して使われることもある。恋愛の方程式、勝利の方程式などの言葉がスポーツ新聞や読み物に分類されるような書籍、インターネット上の一般サイトなど、それほど形式張らない場ではしばしば見うけられる。

== 関連項目 ==
* [[等式]]
* [[不等式]]
* [[代数学]]
* [[物理学]]
** [[基礎方程式]]

== 脚注 ==
<references/>

{{DEFAULTSORT:ほうていしき}}
[[Category:方程式|*]]
[[Category:理学]]
[[Category:数式]]
[[Category:初等数学]]
[[Category:数学に関する記事]]

<div style="margin:0.5em 0;background-color:#f6f6f6;border:1px solid #ccc;padding:3px;font-size:80%">
このページは [http://ja.wikipedia.org/ Wikipedia日本語版]由来のコンテンツを利用しています。もとの記事は[http://ja.wikipedia.org/wiki/方程式 '''方程式''']にあります。執筆者のリストは[http://ja.wikipedia.org/w/index.php?title=方程式&action=history '''履歴''']をご覧ください。
[[Yourpedia]]と同じく、[http://ja.wikipedia.org/wiki/Wikipedia Wikipedia]は[http://www.gnu.org/copyleft/fdl.html GFDLのライセンス]で提供されています。
コンテンツを再利用する際には同じくGFDLのライセンスを採用してください。
</div>

方程式 - 変更履歴

ウーソキマスラ: 新しいページ: '数学において'''方程式'''（ほうていしき、equation）とは、未知の数として ''x'' などの文字を含む等式のことで...'