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
https:///mymemo.xyz/wiki/api.php?action=feedcontributions&feedformat=atom&user=1.114.17.173
miniwiki - 利用者の投稿記録 [ja]
2024-06-19T06:47:26Z
利用者の投稿記録
MediaWiki 1.31.0
数列
2017-08-02T16:15:10Z
<p>1.114.17.173: /* 外部リンク */</p>
<hr />
<div>{{出典の明記|date=2015年12月}}<br />
[[数学]]において'''数列'''(すうれつ、{{lang-en-short|''numerical sequence''}})とは、[[数]]が[[列 (数学)|列]]になったもの ({{lang|en|''sequence of numbers''}}) を言う。<br />
<br />
ある数はそれ単独で興味深い性質や深い意味を持っているかもしれない。単独ではそれほど面白くはない数たちもまとめて考えると興味深い性質を持つかもしれない。数列を考える意識は後者に属する。数列とは例えば正の奇数を小さい順に並べた<br />
: {{math|1, 3, 5, 7, …}}<br />
のような数の“並び”である。並べる数に制限を加えて、たとえば[[自然数]]のみを並べるならば、これを'''自然数列'''と略称する。[[整数]]、[[有理数]]、[[実数]]などのほかの数体系を用いる場合も同様の略称を用いる。各々の数の“置かれるべき場所”は数列の'''項''' (こう、{{lang-en-short|''term''}}) と呼ばれる。数の並びが数列と呼ばれるためには、数列の各項を“順番に並べる”こと、つまりそれぞれの数が何番目の項に配置されているのかを一意に示すように[[可附番|番号付けができ]]なければならない。したがって、“最も簡単”な数列は[[自然数]]を小さい順に並べた数列<br />
: {{math|1, 2, 3, 4, …}}<br />
ということになる(これは自然数が[[順序数]]であることによる)。<br />
<br />
考える数列に端が存在する場合がある。数列の端に存在する項は、その数列の最初の項、または最後の項であると考えることができる。数列の最初の項をその数列の'''初項'''(しょこう、{{lang-en-short|''first term''}})といい、最後の項を数列の'''末項'''(まっこう、{{lang-en-short|''last term''}})と呼ぶ。<br />
数列に対して必ずしも初項と末項を定めることはできない。たとえば「すべての自然数」を表わす数列の項の数は「自然数の個数」に等しいが、自然数は無限に存在するため、その末項は存在しない。このように末項が定まらないような数列は、'''無限数列'''(むげんすうれつ、{{lang-en-short|infinite sequence}})と呼ばれ、末項を持つ数列は'''有限数列'''(ゆうげんすうれつ、{{lang-en-short|finite sequence}})と呼ばれる。<br />
<br />
初項を表わす[[添字表記法|添字]]は自由に与えることができ、議論や計算を簡単にするように選ばれるが、慣習的に 0 または 1 が与えられることも多い。たとえば有限数列の初項の添字を 1 から始めた場合、末項は項数に等しい添字 {{mvar|n}} が与えられるため、記述が簡単になる。<br />
<br />
特別な数列には、項の並びに規則性のあるものがある。代表的なものは、[[等差数列]]や[[等比数列]]あるいは[[フィボナッチ数列]]のように[[漸化式]]で定義される数列である。<br />
<br />
== 定義 ==<br />
{{seealso|列 (数学)|族 (数学)}}<br />
{{mvar|S}} を[[自然数]]全体の[[集合]] {{math|'''N'''}} またはその {{mvar|n}} における切片 {{math|{{mset|0, 1, 2, …, ''n''}}}} とするとき、{{mvar|S}} から[[実数]](あるいは[[複素数]])への[[関数 (数学)|関数]] {{mvar|a}} を'''数列'''(すうれつ、{{lang-en-short|sequence}})と呼び、順序付けられた[[数]]の並びとして<br />
<br />
: {{math|''a''{{sub|0}}, ''a''{{sub|1}}, ''a''{{sub|2}}, …, ''a{{sub|n}}'', …}}<br />
<br />
のように記す。各数 {{math|''a''{{ind|''i''}}}} をこの数列の'''項'''と言う。すなわち、関数 {{mvar|a}} の {{mvar|n}} における値を {{mvar|a{{sub|n}}}} と書き、列の{{mvar|n}} 番目の項と考える。また、{{math|(''a''{{sub|''k''}}){{sub|''k''{{=}}0,1,2,…,''n'',…}}}} あるいは、慣習的に {{math|{{mset|''a''{{sub|''k''}}}}{{sub|''k''{{=}}0,1,2,…,''n'',…}}}}(または単に {{math|{{mset|''a{{sub|n}}''}}}})とも表す{{efn|[[括弧#波括弧|ブレース(波括弧)]] {{math|{{mset|}}}} で囲む記法は[[集合]](非順序組)や[[多重集合]](重複非順序組)と紛らわしい。通常は[[括弧#丸括弧|パーレン(丸括弧)]] {{math|()}} で囲む{{要出典|date=2016年1月}}。}}。<br />
<br />
各項を表すために添えられる {{mvar|n}} を数列 {{mvar|a}} の[[添字表記法|添字]] {{lang|en|(index)}} という。添字が 0 からでなくてもよいことは既述のとおりであるが、その場合にも(特に {{mvar|n}} が自然数以外の値をとる場合でも)形式的に「{{mvar|a{{sub|n}}}} は {{mvar|n}} 番目の項である」と言うことがある{{要出典|date=2016年1月}}。<br />
<br />
任意の添字 {{mvar|n}} に対応する項 {{mvar|a{{sub|n}}}} を'''一般項''' {{lang|en|(general term)}} という。一般項は必ずしも {{mvar|n}} の明示的な式として定まっているわけではないし、一般にその必要もないが、{{mvar|n}} を勝手に指定したときに対応する項 {{mvar|a{{sub|n}}}} がきちんと定まることが言える必要はある。<br />
<br />
関数 {{mvar|a}} の定義域を整数全体の集合 {{math|Z}} に変え、初項や末項のない両側無限列 {{math|(''a{{sub|n}}''){{sub|''n''&isin;'''Z'''}}}} を考えることもある。両側無限列は実質的に 2 つの片側無限列の合成であり、{{math|''n'' {{=}} 0}} などを基準に番号の付け替えを行えば、1 つの片側無限列に直すことができる。<br />
<br />
数列 {{math|(''a{{sub|n}}'')}} の各項 {{mvar|a{{sub|n}}}} がそれ以前の項 {{math|(''a''{{sub|0}}, …, ''a{{sub|n}}'')}} を用いて[[再帰|帰納的]]に定められるならば、その帰納的関係式をその数列が満たす[[漸化式]]と呼び、数列 {{math|(''a{{sub|n}}'')}} はその漸化式(と[[初期値]])によって定められるという。<br />
<br />
== 特殊な形の数列 ==<br />
;{{anchors|等差数列}} 等差数列<br />
任意の自然数 {{mvar|n}} に対して、隣り合う 2 項 {{mvar|a{{sub|n}}}} と {{math|''a''{{sub|''n''+1}}}} の[[減法|差]]が一定のものを[[等差数列]]または'''算術数列'''という。その一定である二項間の差を'''公差'''という。<br />
: {{math|1, 2, 3, 4, 5, 6, …}}(初項 1、公差 1)<br />
: {{math|3, 5, 7, 9, 11, 13, …}}(初項 3、公差 2)<br />
など<br />
<br />
;{{anchors|等比数列}} 等比数列<br />
任意の自然数 {{mvar|n}} に対して、隣り合う 2 項 {{mvar|a{{sub|n}}}} と {{math|''a''{{sub|''n''+1}}}} の[[比]]が一定のものを[[等比数列]]または'''幾何数列'''という。その任意の 2 項間で一定となる比を'''公比'''という。<br />
: {{math|1, 2, 4, 8, 16, 32, …}} (初項 1、公比 2)<br />
: {{math|5, 15, 45, 135, 405, …}} (初項 5、公比 3)<br />
: {{math|1, &minus;1, 1, &minus;1, 1, &minus;1, …}} (初項 1、公比 &minus;1)<br />
など<br />
<br />
; 漸化式を持つ数列<br />
最初の 2 項から始めて、<br />
: {{math|1, 1, 2, 3, 5, 8, 13, 21, …}} <br />
のように連続した 2 項の和を次の項とする[[フィボナッチ数列]]のように、'''漸化式'''が成り立つ数列。<br />
<br />
; 母関数を持つ数列<br />
ある種の級数を[[母関数]]とし、その係数の列として数列を定義することもある。[[ベルヌーイ数]]・[[オイラー数]]などは[[テイラー級数|テイラー係数]]として定義されるものの例であり、母関数の微積分を通して計算したり、漸化式を取り出したりすることができる。[[フーリエ係数]]は理論的には関数の球関数による展開の一種から得られる数列だが、具体的な個々の係数は積分によって定められる。<br />
<br />
== 漸化式 ==<br />
{{main|漸化式}}<br />
<br />
数列 {{math|(''a{{sub|n}}'')}} の各項 {{mvar|a{{sub|n}}}} がある定まった関数 {{mvar|f}} を用いて<br />
: {{math|''a''{{sub|''n''+1}} {{=}} ''f''(''a''{{sub|1}}, ''a''{{sub|2}}, …, ''a{{sub|n}}'')}}<br />
なるように(もちろん {{mvar|f}} の[[アリティ|取りうる引数の数]]は一定であるから、右辺に現れる項はある一定の規則に従い落とされるものとして)帰納的に定められているとき、関数 {{mvar|f}} を数列 {{math|(''a{{sub|n}}'')}} の'''漸化式'''とよび、あるいは、数列 {{math|(''a{{sub|n}}'')}} は漸化式 {{mvar|f}} により定められているという。<br />
<br />
漸化式を'''解く'''とは、漸化式で与えられている数列 {{math|(''a{{sub|n}}'')}} の一般項 {{mvar|a{{sub|n}}}} を {{mvar|n}} の'''陽な式'''で表すことである。<br />
<br />
等差数列や等比数列は、その定義から極めて単純な漸化式を持つ。一般の等差数列に対する漸化式は<br />
: {{math|''a''{{sub|''n''+1}} {{=}} ''a{{sub|n}}'' + ''d''}}<br />
という形に表わされる。定数 {{mvar|d}} はその等差数列の公差である。この漸化式は簡単に解けて、一般項は {{math|''a{{sub|n}}'' {{=}} ''a''{{sub|1}} + (''n'' &minus; 1)''d''}} となる。同様に、一般の等比数列に対する漸化式は<br />
: {{math|''a''{{sub|''n''+1}} {{=}} ''r''&sdot;''a{{sub|n}}''}}<br />
という形に表わされる。定数 {{mvar|r}} はその等比級数の公比である。この漸化式を解けば {{math|''a{{sub|n}}'' {{=}} ''r''{{sup|''n''&minus;1}}&sdot;''a''{{sub|1}}}} なる一般項を得ることができる。これらは後述する[[#隣接二項間漸化式|隣接二項間漸化式]]の最も単純なものである。<br />
<br />
特定の形の漸化式が成立する場合など、いくつかの場合には、一般項 {{mvar|a{{sub|n}}}} は {{mvar|n}} の明示的な形の式で表される。<br />
<br />
=== 隣接二項間漸化式 ===<br />
数列 {{math|(''a{{sub|n}}'')}} が漸化式によって定められ、漸化式が 1 変数関数 {{math|''f''(''x'')}} によって<br />
: {{math|''a''{{sub|''n''+1}} {{=}} ''f''(''a{{sub|n}}'')}}<br />
と表されているとき、この漸化式は'''隣接二項間'''の漸化式であるという。特に、{{math|''p''(''n''), ''q''(''n'')}} を {{mvar|n}} の関数として、{{mvar|f}} が {{math|''p'', ''q''}} を用いた一次式<br />
: {{math|''a''{{sub|''n''+1}} {{=}} ''p''(''n'')&sdot;''a{{sub|n}}'' + ''q''(''n'')}}<br />
となっているとき、'''線型'''であるという。特に関数 {{math|''p''(''n''), ''q''(''n'')}} が[[定数関数|定数]]である場合、'''定数係数'''線型隣接二項間漸化式と呼ばれる。定数係数線型隣接二項間漸化式<br />
: {{math|''a''{{sub|''n''+1}} {{=}} ''p''&sdot;''a{{sub|n}}'' + ''q''}}<br />
は等差数列あるいは等比数列に帰着され、一般項が {{mvar|n}} の式として明示的に記述できる:<br />
<br />
{{math|''p'' {{=}} 1}} のとき、漸化式は {{math|''a''{{sub|''n''+1}} {{=}} ''a{{sub|n}}'' + ''q''}}<br />
であるから、これは等差数列である。<br />
<br />
{{math|''p'' &ne; 1}} のとき、漸化式 {{math|''a''{{sub|''n''+1}} {{=}} ''p''&sdot;''a{{sub|n}}'' + ''q''}} の特性方程式と呼ばれる方程式 {{math|''x'' {{=}} ''px'' + ''q''}} の[[代数方程式#根|根]]を {{mvar|&alpha;}} とすると、漸化式は<br />
: {{math|''a''{{sub|''n''+1}} &minus; ''&alpha;'' {{=}} ''p''(''a{{sub|n}}'' &minus; ''&alpha;'')}}<br />
と変形できる。これは、一般項が {{math|''b{{sub|n}}'' {{=}} ''a{{sub|n}}'' &minus; ''&alpha;''}} で定義される数列 {{math|{''b{{sub|n}}''}}} が公比 {{mvar|p}} である等比数列となることを表しているから、{{mvar|b{{sub|n}}}} が {{mvar|n}} の式として得られる。{{math|''a{{sub|n}}'' {{=}} ''b{{sub|n}}'' + ''&alpha;''}} だから、これも {{mvar|n}} の式として書くことができる。<br />
<br />
=== 隣接三項間漸化式 ===<br />
数列 {{math|(''a{{sub|n}}'')}} が漸化式によって定められ、漸化式が 2 変数関数 {{math|''f''&thinsp;(''x'', ''y'')}} によって<br />
: {{math|''a''{{sub|''n''+2}} {{=}} ''f''(''a''{{sub|''n''+1}}, ''a{{sub|n}}'')}}<br />
と表されているとき、この漸化式は'''隣接三項間'''の漸化式であるという。特に、{{mvar|f}} が関数 {{math|''p''(''n''), ''q''(''n'')}} を用いた斉一次式<br />
: {{math|''a''{{sub|''n''+2}} {{=}} ''p''(''n'')&sdot;''a''{{sub|''n''+1}} + ''q''(''n'')&sdot;''a{{sub|n}}''}}<br />
となっているとき、'''線型'''であるという。特に関数 {{math|''p''(''n''), ''q''(''n'')}} が定数である場合、'''定数係数'''線型隣接三項間漸化式と呼ばれる。定数係数線型隣接三項間漸化式<br />
: {{math|1=''a''{{sub|''n''+2}} = ''p''&sdot;''a''{{sub|''n''+1}} + ''q''&sdot;''a{{sub|n}}''}}<br />
は特性方程式 {{math|''x''{{sup|2}} {{=}} ''px'' + ''q''}} の根を用いて解くことができる。すなわち、特性方程式の[[代数方程式#根|根]]が[[実数]]、[[複素数]]であるにかかわらず異なる 2 つの根 {{math|''&alpha;'', ''&beta;''}} を持つとき、{{mvar|&alpha;{{sup|n}}}} 及び {{mvar|&beta;{{sup|n}}}} はそれぞれ漸化式を満たす。特性方程式が[[重根]] {{mvar|&alpha;}} を持つ場合は、{{mvar|&alpha;{{sup|n}}}} 及び {{mvar|n&alpha;{{sup|n}}}} がそれぞれ漸化式を満たすこととなる。言わば漸化式の“基底解”となっているわけである。一般項は漸化式の線形性のおかげでこれら 2 組の“基底解”の[[線形結合]]で表すことができ、2 つの未定係数は任意の 2 項(初項と第二項である必要はないのはもちろん、隣接している必要すらない)の情報から決定することができる。<br />
<br />
フィボナッチ数列はこのタイプの漸化式を持つので、手順にしたがって一般項 {{mvar|a{{sub|n}}}} が<br />
: <math>a_n = \frac{1}{\sqrt{5}} \left\{ \left( \frac{1 + \sqrt{5}}{2} \right)^n - \left( \frac{1 - \sqrt{5}}{2} \right)^n\right\}</math><br />
なる明示式として得られる。<br />
<br />
=== 連立線型漸化式 ===<br />
2 つの数列 {{math|(''x{{sub|n}}''), (''y{{sub|n}}'')}} が与えられていて、それらが帰納的に連立漸化式<br />
: <math>\begin{cases}<br />
x_{n+1} = a x_n + b y_n\\<br />
y_{n+1} = c x_n + d y_n<br />
\end{cases}</math><br />
を満たしているとする。これを二元の定数係数連立線型漸化式という。漸化式を <br />
: <math>\mathbf{x}_{n+1} = A\mathbf{x}_n \quad A := \begin{pmatrix} a & b \\ c & d \end{pmatrix},\ \mathbf{x}_n := \begin{pmatrix} x_n \\ y_n \end{pmatrix}</math><br />
の形に書けば、連立漸化式を平面上の[[点列]]の[[一次変換]]による移動の様子として捉えることができる。{{mvar|A}} をこの連立線型漸化式の'''係数行列'''と呼ぶ。また、<br />
: <math>\mathbf{x}_{n} = A^{n-1}\mathbf{x}_0</math><br />
となることも明らかであるから、係数行列 {{mvar|A}} の[[冪]]が計算できるならば、連立漸化式を解くことができる。<br />
<br />
ゆえに、定数係数連立線型漸化式は係数行列 {{mvar|A}} を[[三角化]]あるいは[[対角化]]するような基底に関する表示、あるいは同じことだが、{{math|''P''{{sup|&minus;1}}''AP''}} が[[三角行列]]か[[対角行列]]となる[[正則行列]] {{mvar|P}} をとって、座標変換 {{math|''P''{{sup|&minus;1}}'''x'{{sub|n}}'' {{=}} '''y'{{sub|n}}''}} を行うことで得られる連立漸化式<br />
: <math>\mathbf{y}_{n+1} = P^{-1}AP\mathbf{y}_n</math> <br />
の問題に帰着される。<br />
<br />
また、{{math|''y{{sub|n}}'' {{=}} ''x''{{sub|''n''&minus;1}}}} や {{math|''y{{sub|n}}'' &equiv; 1}} となる場合を考えると {{mvar|c}} や {{mvar|d}} を適当に選んで<br />
: <math>x_{n+1} = a x_n + b x_{n-1},\quad <br />
\mathbf{x}_{n+1} = \begin{pmatrix} a & b \\ 1 & 0 \end{pmatrix} \mathbf{x}_n<br />
</math><br />
や、<br />
: <math>x_{n+1} = a x_n + b,\quad \mathbf{x}_{n+1} = \begin{pmatrix} a & b \\ 0 & 1 \end{pmatrix}\mathbf{x}_n</math><br />
のように、隣接二項間および三項間の定数係数線型漸化式が得られる。先に述べたこれらの漸化式の解法は、係数行列の冪を求める方法に対応している。特に、定数係数連接三項間漸化式の特性多項式は係数行列の[[固有値|特性多項式]]に一致する。<br />
<br />
もう少し一般に、<br />
: <math>\mathbf{y}_{n+1} = A\mathbf{y}_n + \mathbf{b}</math><br />
の形の点列の変換([[アフィン変換]])は、変換の[[不動点]]、つまり<br />
: <math>\mathbf{y}_{\infty} = A\mathbf{y}_{\infty} + \mathbf{b}</math><br />
を満たす点 {{math|'''y'''{{sub|&infin;}}}} をとれば、{{math|'''x'{{sub|n}}'' {{coloneqq}} '''y'{{sub|n}}'' &minus; '''y'''{{sub|&infin;}}}} とおくことにより、線型漸化式<br />
: <math>\mathbf{x}_{n+1} = A\mathbf{x}_n</math><br />
に帰着される。<br />
<br />
これらのことは、さらに高次化することができる。<br />
<br />
=== 数学的帰納法 ===<br />
漸化式自体が帰納的に数列を定義するものであり、一般項 {{mvar|a{{sub|n}}}} がどのような形であるかを述べることが自然数に関する命題とみなすことができることから、漸化式を持つ数列の一般項を求める際に数学的帰納法は有用な手法である。<br />
<br />
== 数列の和 ==<br />
{{main|級数}}<br />
数列の和はしばしば[[級数]](きゅうすう、{{lang-en-short|''series''}})と呼ばれる。はじめの {{mvar|n}} 項までの和を第 {{mvar|n}} '''部分和'''(ぶぶんわ、{{lang-en-short|''patial sum''}})と呼び、何らかの自然数 {{mvar|n}} に対して第 {{mvar|n}} 部分和となるようなものを'''有限級数'''と総称する。<br />
<br />
=== 級数の例 ===<br />
*等差数列の初項から {{mvar|n}} 項までの和<math display="block">S_n = \frac{n\left\{2f+(n-1)d\right\}}{2} = \frac{n(f+l)}{2}</math><br />
(ただし、{{math|''f'' {{=}} ''a''{{sub|1}}}} は初項、{{math|''l'' {{=}} ''a{{sub|n}}''}} は末項である)<br />
*等比数列の初項から {{mvar|n}} 項までの和<math display="block"><br />
S_n = \begin{cases}<br />
\displaystyle \frac{a_{1}(1-r^n)}{1-r}=\frac{a_{1}(r^n-1)}{r-1} & (r\ne 1) \\<br />
na_1 & (r=1)\end{cases}<br />
</math><br />
* 冪和 <math display="block">\sum_{i=1}^n i^k = 1^k + 2^k + \cdots + n^k</math>の[[ファウルハーバーの公式|明示式]]には[[ベルヌーイ数]]が現れる。ベルヌーイ数に限らず、このような関係式によっていくつかの数の系列が定義されることがある。<br />
<br />
=== 和分法・差分法 ===<br />
{{Main|和分差分学}}<br />
{{seealso|不定和分|階差数列}}<!-- |差分法}} [[差分法]]の項の内容は「微分方程式の(数値的)解法として差分を利用する手法」であり、ここでの内容には不適--><br />
<br />
階乗冪函数の差分商を計算すれば {{math|1=&Delta;''x''{{sup|(''n'')}}/&Delta;''x'' = ''nx''{{sup|(''n''&minus;1)}}}} であり、この意味で階乗冪は冪函数 {{math|''x''{{sup|''n''}}}} の離散版である。<br />
<br />
与えられた数列 {{math|(''a{{sub|n}}'')}} に対し、[[階差数列]]が {{math|(''a{{sub|n}}'')}} となるような数列 {{math|(''s{{sub|n}}'')}} をしばしば数列 {{math|(''a{{sub|n}}'')}} の[[不定和分]]と呼び、{{math|(&Delta;{{sup|&minus;1}}''a{{sub|n}}'')}} などで表す:<br />
: <math>\Delta s_n = a_n \iff s_n = \Delta^{-1}a_n.</math><br />
このような数列が与えられたとき、{{math|''a''{{sub|''k''}} {{coloneqq}} ''s''{{sub|''k''+1}} &minus; ''s''{{sub|''k''}}}} を {{math|''k'' {{=}} 0, ..., ''n''}} について片々加えることにより <br />
: <math>S_n =: \sum_{k=0}^{n} a_k = s_{n+1} - s_0</math><br />
が成立する。すなわち、不定和分 {{mvar|s{{sub|n}}}} は(定数列を加える差を除き)実質的に数列の第 {{mvar|n}} 部分和 {{mvar|S{{sub|n}}}} を与えるものである。もっと一般に、函数 {{math|''f''(''x'')}} の[[不定和分]] {{math|&Delta;{{sup|&minus;1}}''f''(''x'')}} が<br />
: <math>\Delta^{-1}f(x+1) - \Delta^{-1}f(x) = f(x)</math><br />
となるものとして定義され、<br />
: <math>\sum_{k=0}^{n-1} f(x+k) = \Delta^{-1}f(x+n) - \Delta^{-1}f(x)</math><br />
が成り立ち([[微分積分学の基本定理]]の離散版)、これを'''和分差分学の基本定理'''などと呼ぶことがある。このような函数 {{math|&Delta;{{sup|&minus;1}}''f''(''x'')}} は周期 1 の[[周期函数]]を加える違いを除いて一意である。<br />
<br />
数列の和分法について、[[上方階乗冪|階乗冪]] {{mvar|k{{sup|{{overline|n}}}}}} は基本的である。<br />
* {{math|''n'' &ge; 0}}: <math display="block">\sum_{k=1}^{m} k(k+1)\cdots(k+n-1) = \frac{1}{n+1}m(m+1)\cdots(k+n),</math><br />
* {{math|''n'' {{=}} &minus;1}}: <math display="block">\sum_{k=1}^m 1/k = H_m,</math> ここで {{mvar|H{{sub|m}}}} は第 {{mvar|m}} [[調和数 (発散列)|調和数]]。<br />
* {{math|''n'' &le; &minus;2}}: <math display="block">\sum_{k=1}^m \frac{1}{k(k+1)\cdots(k+|n|-1)} = \frac{1}{1+n}\left(\frac{1}{(m+1)\cdots(m+|n|-1)} -\frac{1}{(|n|-1)!}\right).</math><br />
<br />
== 数列の極限 ==<br />
{{Main|数列の極限|極限}}<br />
: <math>\lim_{n\to\infty}a_n</math><br />
: <math>\varliminf_{n\to\infty}a_n\le \lim_{n\to\infty}a_n\le \varlimsup_{n\to\infty}a_n</math><br />
<br />
=== コーシー数列 ===<br />
{{Main|コーシー列}}<br />
: <math>d(x_n,x_m) = \left\Vert x_n - x_m \right\Vert \to 0 \mbox{ as } n<m, n\to\infty</math><br />
<br />
=== 無限級数 ===<br />
{{main|級数|発散級数}}<br />
[[#数列の和|有限級数]]の[[極限]]は、すべての[[可算集合|可算無限個]]の項についての和と見ることができ、[[無限級数]]と呼ばれる。<br />
: <math>\sum_{n=1}^{\infty}a_n = \lim_{n\to\infty}S_n,\quad S_n = \sum_{i=1}^{n}a_i</math><br />
<br />
双無限数列 {{math|(''a{{sub|n}}''){{sub|''n''&isin;'''Z'''}}}} の和は、2 つの無限級数<br />
: <math>\sum_{n=0}^{\infty}a_n,\quad \sum_{m=1}^{\infty} a_{-m}</math><br />
が収束するならば、それらの和である。<br />
{{seealso|総和|冪級数}}<br />
<br />
=== 総和法 ===<br />
{{main|発散級数}}<br />
数列の有限和や絶対収束に対する自然な意味での「和」の概念を、それ以外の特に発散級数に対して延長する試みを総和法という。素朴な和の概念からはしばしば奇異に映る性質を有する。<br />
* [[チェザロ和]]: <math>\lim_{n\to\infty}\frac{s_1+s_2+\cdots+s_n}{n},\quad s_k=a_1+a_2+\cdots+a_k</math><br />
* [[アーベル和]]<br />
* [[繰り込み]]<br />
<br />
=== {{anchors|母函数|生成函数|生成関数}}母関数 ===<br />
{{Main|母関数}}<br />
与えられた数列 {{mvar|(a{{sub|n}})}} に対して、それを係数に持つような冪級数を<br />
: <math>\sum_{n=0}^{\infty} a_n x^n, \quad \sum_{n=0}^{\infty} a_n \frac{x^n}{n!}</math><br />
などで与えることにより、数列の性質を関数の性質として調べることができるようになる。これを数列の'''母関数'''という。母関数の満たす微分方程式から係数列の漸化式を構成したり、係数列の漸化式から母関数の満たす微分方程式を作ったりすることができる。もし、微分方程式を解いて母関数の[[閉じた式]]を手に入れることができるならば、級数の収束する限り、[[テイラーの定理]]によって数列の各項の値を、母関数の特殊値として計算することができる。<br />
<br />
また、冪級数の[[コーシー積]]は数列の[[畳み込み]]に対応する。<br />
: <math>(c_n) := (a_n)*(b_n) </math><br />
: <math>\left(\sum_{n=0}^{\infty} a_n x^n\right) \left(\sum_{n=0}^{\infty} b_n x^n\right) = \sum_{n=0}^{\infty} c_n x^n</math><br />
{{seealso|冪級数}}<br />
<br />
=== 無限積 ===<br />
{{main|無限積}}<br />
: <math>\prod_{n=1}^{\infty} a_n</math><br />
: <math>\prod_{n=1}^{\infty} (1+u_n) \sim 1 + \sum_{n=1}^{\infty} u_n + \sum_{n_1,n_2}u_{n_1}u_{n_2} + \cdots</math><br />
: <math>\log\prod_{n=1}^{\infty} a_n = \sum_{n=1}^\infty \log(a_n)</math><br />
<br />
== 数列とベクトル ==<br />
{{Main|数列空間|数ベクトル空間}}<br />
項数 {{mvar|n}} の有限数列はしばしば[[タプル| {{mvar|n}} 組]]と呼ばれる。有限数列は[[数ベクトル]]から線型構造を落としたものとみることができ、逆に項数の等しい数列同士の和や数列の定数倍を<br />
: <math>(a_n) + (b_n) := (a_n + b_n)</math><br />
: <math>\lambda(a_n) := (\lambda a_n)</math><br />
によって定めることができるので、これらはしばしば適当な意味で同一視される。この同一視によって有限数列の集合がベクトル空間を成すとき、このベクトル空間の構造は[[有限集合]]上の関数空間の構造と見なされる。無限数列も同様にしてベクトル空間と考えたとき、その部分線型空間として得られるようなベクトル空間は一般に数列空間と呼ばれる。無限数列からは、有界数列の空間や収束数列の空間、コンパクト台付き数列(実質有限列)の空間など様々な数列空間を組み立てることができる。<br />
<br />
== 一般化 ==<br />
=== 多重数列 ===<br />
{{main|多重数列}}<br />
[[添字]]を 2 つ持つような数列 {{math|(''a''{{sub|''m'',''n''}}){{sub|''m'',''n''&isin;'''N'''}}}} は格子 {{math|&Lambda; {{coloneqq}} {{mset|(''m'', ''n'') &isin; ''N'' &times; ''N''}}}} 上で定義される関数である。<math display="block">\begin{matrix}<br />
a_{1,1} & a_{1,2} & \cdots & a_{1,n} & \cdots\\<br />
a_{2,1} & a_{2,2} & \cdots & a_{2,n} & \cdots\\<br />
\vdots & \vdots & \ddots & \vdots & \vdots\\<br />
a_{m,1} & a_{m,2} & \cdots & a_{m,n} & \cdots\\<br />
\vdots & \vdots & \vdots & \vdots & \ddots<br />
\end{matrix}</math><br />
<br />
二重数列 (''a''{{sub|''m'',''n''}}) が極限<br />
: <math>\lim_{m\to\infty\atop n\to\infty} a_{m,n}</math><br />
を持つとは、任意に与えられた {{math|''&epsilon;'' &gt; 0}} に対し十分大きな番号 {{mvar|N}} をとれば、{{math|''m'', ''n'' &gt; ''N''}} なるとき常に {{math|{{mabs|''a''{{sub|''m'',''n''}} &minus; &alpha;}} &lt; ''&epsilon;''}} とできるような定数 {{mvar|&alpha;}} が存在することである。これは二重極限<br />
: <math>\lim_{m\to\infty}\lim_{n\to\infty} a_{m,n},\quad \lim_{n\to\infty}\lim_{m\to\infty}a_{m,n}</math><br />
などと一般には異なる。[[フビニの定理]]も参照。<br />
<br />
二重級数<br />
: <math>\sum_{m,n}a_{m,n}</math><br />
は格子点の全体 {{math|&Lambda; {{=}} ''N'' &times; ''N''}} に整列順序を入れることによって通常の単純級数(一重級数)に書き直せる。とくに {{math|&Lambda;}} を可算個の有限または無限集合の[[非交和]](直和)<br />
: <math>\Lambda = K_1\sqcup K_2 \sqcup \cdots \quad \text{(disjoint)}</math><br />
に分解するとき、各 {{mvar|K{{sub|i}}}} 上で和<br />
: <math>\sigma_i := \sum_{(m,n)\in K_i} a_{m,n}</math><br />
が有限和または絶対収束級数であるならば、<br />
: <math>\sum_{m,n}a_{m,n} = \sigma_1 + \sigma_2 + \cdots</math><br />
の収束性についての考察に帰着される。{{math|&Lambda;}} の整列順序の入れ方あるいは分解の仕方に依らず一定の和を持つならば、二重級数は無条件収束するという。たとえばこのとき<br />
: <math>\lim_{m\to\infty\atop n\to\infty}\sum_{i=1}^m\sum_{k=1}^n a_{m,n} <br />
= \sum_{m=1}^\infty\left(\sum_{n=1}^\infty a_{m,n}\right)<br />
= \sum_{n=1}^\infty\left(\sum_{m=1}^\infty a_{m,n}\right)<br />
= \sum_{k=1}^\infty\left(\sum_{m+n=k} a_{m,n}\right)<br />
</math><br />
が成立する([[フビニの定理]]を参照)。<br />
<br />
== 注釈 ==<br />
{{notelist}}<br />
<br />
== 参考文献 ==<br />
{{reflist}}<br />
<br />
== 関連項目 ==<br />
* [[列 (数学)]]<br />
* [[族 (数学)]]<br />
* [[級数]]<br />
* {{ill2|整数列|en|integer sequence|preserve=1}}<br />
<br />
== 外部リンク ==<br />
* [http://oeis.org/?language=japanese オンライン整数列大辞典]<br />
* {{PlanetMath|urlname=LimitOfRealNumberSequence|title=limit of real number sequence}}<br />
* {{ProofWiki|urlname=Definition:Complex_Sequence|title=Definition:Complex Sequence}}<br />
<br />
{{Normdaten}}<br />
{{DEFAULTSORT:すうれつ}}<br />
[[Category:数列|*]]<br />
[[Category:数学に関する記事]]</div>
1.114.17.173
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