ロゴ
ユニオンペディア
コミュニケーション
Google Play で手に入れよう
新しい! あなたのAndroid™デバイスでユニオンペディアをダウンロードしてください!
無料
ブラウザよりも高速アクセス!
 

マーラーの定理

索引 マーラーの定理

数学において、 によって導入されたマーラーの定理(マーラーのていり、)とは、連続な p-進関数を多項式で表現することについて述べたものである。 次の結果は任意の体において成立する。今、前進差分作用素を と定める。このとき、多項式関数 f に対して、次のニュートン級数が得られる: ただし は k 番目の二項係数多項式である。 実数体上では、関数 f が多項式であるという仮定は弱められるが、単なる連続性の仮定のみでは上の等式は成り立たない。 マーラーの定理では、f が p-進整数上の連続な p-進値関数であるなら、その等式が成り立つと述べられている。 上述の作用素 Δ と多項式列との関係は、微分と xk を k 番目の項とする数列との関係と似ている。 驚くべきことは、連続性と同程度弱い仮定の下で、上述の等式が成り立つということである。それと比較して、複素数体上のニュートン級数ではより強い制限が必要となり、特にの成立が必要となる。 f が標数 0 の任意の体内の係数を持つ多項式関数であるなら、上述の等式は右辺が有限の項の和として成立する。これは代数的事実の一つである。.

10 関係: 可換体多項式多項式列差分法クレレ誌複素数連続 (数学)P進数標数数学

可換体

抽象代数学において、可換体(かかんたい、corps commutatif)あるいは単に体(たい、field)本記事において単に体と言った場合「可換」体を意味するものとする。とは、零でない可換可除環、あるいは同じことだが、非零元全体が乗法の下で可換群をなすような環のことである。そのようなものとして体は、適当なアーベル群の公理と分配則を満たすような加法、減法、乗法、除法の概念を備えた代数的構造である。最もよく使われる体は、実数体、複素数体、有理数体であるが、他にも有限体、関数の体、代数体、''p'' 進数体、などがある。 任意の体は、線型代数の標準的かつ一般的な対象であるベクトル空間のスカラーとして使うことができる。(ガロワ理論を含む)体拡大の理論は、ある体に係数を持つ多項式の根に関係する。他の結果として、この理論により、古典的な問題である定規とコンパスを用いたや円積問題が不可能であることの証明や五次方程式が代数的に解けないというアーベル・ルフィニの定理の証明が得られる。現代数学において、体論は数論や代数幾何において必要不可欠な役割を果たしている。 代数的構造として、すべての体は環であるが、すべての環が体であるわけではない。最も重要な違いは、体は(ゼロ除算を除いて)除算ができるが、環は乗法逆元がなくてもよいということである。例えば、整数の全体は環をなすが、2x.

新しい!!: マーラーの定理と可換体 · 続きを見る »

多項式

数学における多項式(たこうしき、poly­nomial)は、多数を意味するpoly- と部分を意味する -nomen あるいは nomós を併せた語で、定数および不定元(略式ではしばしば変数と呼ぶ)の和と積のみからなり、代数学の重要な対象となる数学的対象である。歴史的にも現代代数学の成立に大きな役割を果たした。 不定元がひとつの多項式は、一元多項式あるいは一変数多項式 と呼ばれ、不定元を とすれば のような形をしている。各部分 "", "", "", "" のことを項(こう、)と呼ぶ。一つの項だけからできている式を単項式 (monomial)、同様に二項式 (binomial)、三項式 (trinomial) などが、-nomial にラテン配分数詞を付けて呼ばれる。すなわち、多項式とは「多数」の「項」を持つものである。単項式の語が頻出であることに比べれば、二項式の語の使用はやや稀、三項式あるいはそれ以上の項数に対する語の使用はごく稀で一口に多項式として扱う傾向があり、それゆえ単項式のみ多項式から排他的に分類するものもある。また多項式のことを整式 (integral expression) と呼ぶ流儀もある。 多項式同士の等式として与えられる方程式は多項式方程式と呼ばれ、特に有理数係数の場合において代数方程式という。多項式方程式は多項式函数の零点を記述するものである。 不定元がふたつならば二元 (bivariate), 三つならば三元 (trivariate) というように異なるアリティを持つ多元多項式が同様に定義できる。算術あるいは初等代数学において、数の計算の抽象化として実数(あるいは必要に応じてより狭く有理数、整数、自然数)を代表する記号としての「文字」変数を伴う「」およびその計算を扱うが、それは大抵の場合多変数の多項式である。 本項では主として一元多項式を扱い、多元の場合にも多少触れるが、詳細は多元多項式の項へ譲る。.

新しい!!: マーラーの定理と多項式 · 続きを見る »

多項式列

数学における多項式列(たこうしきれつ、)は、非負の整数 によって添字付けられた多項式の列であって、各添字が対応する多項式の次数と等しいものを言う。多項式列は、数え上げ組合せ論やの他、応用数学において興味の持たれているトピックの一つである。.

新しい!!: マーラーの定理と多項式列 · 続きを見る »

差分法

数値解析における有限差分法(ゆうげんさぶんほう、finite-difference methods; FDM)あるいは単に差分法は、微分方程式を解くために微分を有限差分近似(差分商)で置き換えて得られる差分方程式<!-- ループリンク -->で近似するという離散化手法を用いる数値解法である。18世紀にオイラーが考案したと言われる。 今日ではFDMは偏微分方程式の数値解法として支配的な手法である.

新しい!!: マーラーの定理と差分法 · 続きを見る »

クレレ誌

レレ誌もしくは、単にクレレとは数学誌Journal für die reine und angewandte Mathematik (純粋・応用数学雑誌の意)の通称。.

新しい!!: マーラーの定理とクレレ誌 · 続きを見る »

複素数

数学における複素数(ふくそすう、complex number)は、実数の対 と と線型独立な(実数ではない)要素 の線型結合 の形に表される数(二元数: 実数体上の二次拡大環の元)で、基底元 はその平方が になるという特別な性質を持ち虚数単位と呼ばれる。 複素数全体の成す集合を太字の あるいは黒板太字で と表す。 は、実数全体の成す集合 と同様に、可換体の構造を持ち、とくに を含む代数閉体を成す。複素数体はケイリー&ndash;ディクソン代数(四元数、八元数、十六元数など)の基点となる体系であり、またさまざまな超複素数系の中で最もよく知られた例である。 複素数の概念は、一次元の実数直線を二次元の複素数平面に拡張する。複素数は自然に二次元平面上に存在すると考えることができるから、複素数全体の成す集合上に自然な大小関係(つまり全順序)をいれることはできない。すなわち は順序体でない。 ある数学的な主題や概念あるいは構成において、それが複素数体を基本の体構造として考えられているとき、そのことはしばしばそれら概念等の名称に(おおくは接頭辞「複素-」を付けることで)反映される。例えば、複素解析、複素行列、複素(係数)多項式、複素リー代数など。.

新しい!!: マーラーの定理と複素数 · 続きを見る »

連続 (数学)

数学において、連続(れんぞく、continuous)および連続性(れんぞくせい、continuity)とは、いくら拡大しても近くにあって差が無いことを示す極限概念である。位相空間のあいだの写像について、開集合や極限といった位相的な概念を一定の方法でたもつという条件によって連続性の概念が定められる。これは異なる位相空間のあいだの関係を表す最も基本的な枠組みである。日常語としては「連続」が「切れずに繋がっている」という意味で使われることがあるが、位相空間の性質として「切れずに繋がっている」ということを表す概念は「連結性」である。事実として「連結領域の連続像は必ず連結」であり、従って連結な定義域を持つ連続函数のグラフは文字通り「切れずに繋がっている」ことになるが、それは連続性の本質ではない。.

新しい!!: マーラーの定理と連続 (数学) · 続きを見る »

P進数

p 進数(ピーしんすう、p-adic number)とは、1897年にクルト・ヘンゼルによって導入された、数の体系の一つである。文脈によっては、その体系の個々の数を指して p 進数と呼ぶこともある。有理数の体系を実数や複素数の体系に拡張するのとは別の方法で、各素数 p に対して p 進数の体系が構成される。それらは有理数のつくる空間の局所的な姿を記述していると考えられ、数学の中でも特に数論において重要な役割を果たす。数学のみならず、素粒子物理学の理論などで使われることもある(例えば ''p'' 進量子力学を参照)。 「p 進数」とは「2進数」や「3進数」の総称に過ぎないので、文字 p がすでに他の場所で用いられている場合、q 進数や l 進数などと表現されることもある。 なお、自然数や実数を 0 と 1 で表現する方法(2進法)やその結果得られる記号列(2進列)も「2進数」と呼ぶ場合があるが、本項の意味での「2進数」とは異なる。.

新しい!!: マーラーの定理とP進数 · 続きを見る »

標数

標数(ひょうすう、characteristic)は、環あるいは体の特徴を表す非負整数のひとつ。整域の標数は 0 または素数に限られる。.

新しい!!: マーラーの定理と標数 · 続きを見る »

数学

数学(すうがく、μαθηματικά, mathematica, math)は、量(数)、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.

新しい!!: マーラーの定理と数学 · 続きを見る »

出ていきます入ってきます
ヘイ!私たちは今、Facebook上です! »