タグ

代数学に関するCrowserのブックマーク (14)

  • 0の0乗 - Wikipedia

    この記事には独自研究が含まれているおそれがあります。 問題箇所を検証し出典を追加して、記事の改善にご協力ください。議論はノートを参照してください。(2016年2月) 0 の 0 乗(れいのれいじょう)は、累乗あるいは指数関数において、底を 0、指数を 0 としたものである。その値は、代数学、組合せ論などの文脈では通常 1 と定義される[注 1]一方で、解析学の文脈では二変数関数 xy が原点 (x, y) = (0, 0) において連続とならないため定義されない場合もある。 実数 x の正整数 n 乗は、素朴には、n 個の x を掛け合わせたものである。厳密には、次のように再帰的に定められる。 x0 を定義する場合には、関係式 が n = 0 でも成立するように定義を拡張するのが自然である。 そこで、 に無理やり n = 0 を代入すれば、x0 + 1 = x0 × x すなわち x =

    0の0乗 - Wikipedia
  • ネイピア数の無理性の証明 - Wikipedia

    ネイピア数の無理性の証明(ねいぴあすうのむりせいのしょうめい)は、1744年にオイラーが初めて行った。実際、ネイピア数 e は 2 < e < 3 を満たす無理数である。証明は背理法による。すなわち、e が有理数であると仮定して矛盾を導く。e が無理数であることの証明は、円周率 π が無理数であることの証明よりずっと易しい。π の無理性が初めて示されたのは1761年のことである。 e を底とする指数関数 ex は以下のようにテイラー展開される。 x = 1 を代入すると 以下、これを e の定義として無理数であることを証明する。 e = a/b を満たす自然数 a, b が存在すると仮定すると b! ⋅ e は以下のように展開される。 左辺は であるから自然数である。右辺は ( ) 内の b! から b!/b! までの項は全て自然数であるが、{ } 内の b!/(b + 1)! 以降の全て

  • 算術の基本定理 - Wikipedia

    素因数分解の一意性はガウスの『算術研究』(1801年)で最初に証明された[注 1]。ただし『算術研究』でガウスが基定理と呼んだ定理は「平方剰余の相互法則」のことである[1]。 算術の基定理(さんじゅつのきほんていり、英: fundamental theorem of arithmetic)または素因数分解の一意性(そいんすうぶんかいのいちいせい、英: unique factorization theorem)は、「任意の正整数は、1 を除いて、一つまたはそれ以上の素数の積として(因子の順番の違いを除いて)ただ一通りに表すことができる」[注 2]という初等整数論(算術)における定理である[注 3]。 定理 ― 任意の正整数 n > 1 は一意的に素数の積に表される: ただし、 p1 < p2 < … < pk は素数、 ni は正の整数である。

    算術の基本定理 - Wikipedia
    Crowser
    Crowser 2011/09/29
    「すべての自然数は素数であるか、素数の積としてただ一通りに表すことができる数である」
  • 超越性

  • 0.999... - Wikipedia

    実数として "0.999…" と"1"は等しくなることを示すことができる(ただし、0.9999など途中で終了する小数は1と等しいと言えない)。この証明は、実数論の展開・背景にある仮定・歴史的文脈・対象となる聞き手などに応じて、多様な数学的厳密性に基づいた定式化がある[注釈 1]。 循環する無限小数一般に言えることだが、0.999… の末尾の … は省略記号であり、続く桁も 9 であることを示す。省略記号の前の 9 の個数はいくつでもよく、0.99999… のように書いてもよい。あるいは循環節を明確にするために 0.9、0.9、0.(9) などと表記される。 一般に、ある数を無限小数で表すことも有限小数で表すこともできる。稿で示されるように 0.999… と 1 は等価性であるから、例えば 8.32 は 8.31999… と書いても同じ数を表す。十進数を例に採ったが、数が一意に表示されない

  • Google の秘密 - PageRank 徹底解説

    INDEX はじめに PageRank の基概念 どうやって PageRank を求めるか 現実に適用する際の問題 Namazu での実装実験 PageRank に対する個人的見解 参考文献 おまけ:「グーグル?/ゴーグル?」 Since: Thu Feb 1 18:22:44 JST 2001 Last Refreshed: Sat Jan 24 18:30:35 JST 2004 ★(2004/1/24) Yuan Huanglin氏によって ページの中国語訳 が作成されました。 ★(2003/7/1) 拙著『Namazuシステムの構築と活用』を改訂しました。 詳しくは サポートページをご覧ください。 ★(2003/5/20) Google に関するオンラインニュース記事一覧(日語記事のみ)を 別ページ(googlenews.html) として分離しました。 ★(2001/2/

  • 円周率の無理性の証明 - Wikipedia

    円周率の無理性の証明(えんしゅうりつのむりせいのしょうめい)は、円周率が無理数であること、すなわち円周率の小数展開が無限に続き、しかも循環しないことの証明である。円周率が無理数であること自体はよく知られた事実であるが、その証明を目にする機会はあまりない[1]。知られている中で最も簡単な証明は、初等的な微分積分学のみを用いるものである。 円周率は古代から考察の対象とされ、無理数であることは紀元前4世紀のアリストテレスが予想していたが、証明されたのは二千年以上後のことである。1761年、ドイツ数学者ヨハン・ハインリッヒ・ランベルトは、正接関数の無限連分数表示 を用いて、初めて円周率の無理性を示した[2]。その証明は現代的にはやや不満の残るものであったが、1794年にフランスのアドリアン=マリ・ルジャンドルは厳密な証明を与え、さらに π2 も無理数であることを発見した。したがってルジャンドルは

  • あんそく やる夫で学ぶフェルマーの最終定理 【後編】

    ____ /      \ /   ノ 三 ヽ_\ / u   (─)  (─) \  (…しかしこの「落とし神」やる夫様をもってしても |      (__ ∩__) u  |     フラグがまったく立たないんだお…) /  u   ∩ノ |   / (  \ / _ノ |  | .\ “  /__|  | \ /___ /

  • EMANの物理学 過去ログ No.2337

    Crowser
    Crowser 2011/09/29
    無限次元ヒルベルト空間の次元の定義とその特異性、可分なヒルベルト空間について、量子力学との関連性など。
  • ガウス整数 - Wikipedia

    ガウス整数とは、複素数平面では格子点に当たる。 ガウス整数(ガウスせいすう、英語: Gaussian integer)とは、実部と虚部が共に整数である複素数のことである。すなわち、a + bi(a, b は整数)の形の数のことである。ここで i は虚数単位を表す。ガウス整数という名称は、カール・フリードリヒ・ガウスが導入したことに因む。ガウス自身はガウス整数のことを複素整数(ドイツ語: Komplexe Ganze Zahl)と呼んだ[1]が、今日ではこの呼称は一般的ではない。 通常の整数は、b = 0 の場合なので、ガウス整数の一種である。区別のために、通常の整数は有理整数と呼ばれることもある。 数学的には一つ一つのガウス整数を考えるよりも、集合として全体の構造を考える方が自然である。ガウス整数全体の集合を Z[i] と表し、これをガウス整数環と呼ぶ。すなわち、 である(Z は有理整数環

    ガウス整数 - Wikipedia
  • 有限加法族 - Wikipedia

    数学において、有限加法族(ゆうげんかほうぞく、finitely additive class)あるいは集合体(しゅうごうたい、field of sets)、集合代数(しゅうごうだいすう、英: algebra of sets, algebra over a set)とは、冪集合が集合演算について成すブール代数の部分代数のことである。つまり、集合 S 上の有限加法族 (S, F ⊂ 2S) は、F の任意の二つの集合 A, B の結び A ∪ B, 交わり A ∩ B および任意の集合 M の全体集合 S に対する補集合 Mc = S − M を取る操作について閉じている。有限加法族は任意のブール代数を表現することができるという意味においてブール代数の表現論にとって質的な対象である。S 上の集合体 (S, F) に対して、S の元を集合体の点、F の元を集合体の複体(complex; 叢)と

  • クロス積 - Wikipedia

    3次元ベクトル a, b のクロス積(a × b)。クロス積は、a, b のなす平行四辺形の面積に等しい大きさを持ち、平行四辺形に垂直なベクトルとなる。 クロス積(クロスせき、(英: cross product)は、3次元空間(3次元有向内積空間)において定義される、2つのベクトルから新たなベクトルを与える二項演算である。 2つのベクトル a, b のクロス積は乗算記号を用いて a × b、あるいは角括弧を用いて [a, b] と表される。 「クロス積」という呼称は、積の記号に十字(×)を用いることに由来する(同様にベクトルの内積は点(⋅)を用いることからドット積と呼ばれる)。またクロス積の別称として、ベクトル積(ベクトルせき、(英: vector product)がある。「ベクトル積」は積 a × b がベクトルとなることに由来する(同様に積 a ⋅ b はスカラーとなるため、ドット積は

    クロス積 - Wikipedia
  • 0.999・・・は1と等しいか - hiroyukikojima’s blog

    刊行からだいぶたってしまったが、吉永良正さんの『アキレスとカメ』講談社というたいへん楽しいを紹介しよう。 吉永さんは、ぼくが東京出版の受験雑誌『大学への数学』や『高校への数学』に連載し出した頃、同じように連載を持った人だが、サイエンスライターとしては大先輩であり、すばらしいをたくさん書き、また翻訳もしている。現在は、大東文化大学の先生をされているので、ライターから大学教員になった、という経歴も似ており、勝手に親近感を抱いている。何度か対談をさせていただき、いっしょにお酒を飲んだこともあるので、知人と言ってもいいと思う。ライターとして気骨を持ったかたで、物書きとして生きていく上での心構えなどを教えていただいた。 アキレスとカメ 作者: 吉永良正,大高郁子出版社/メーカー: 講談社発売日: 2008/07/02メディア: 単行購入: 19人 クリック: 395回この商品を含むブログ (1

    0.999・・・は1と等しいか - hiroyukikojima’s blog
  • 三次方程式 - Wikipedia

    三次方程式(さんじほうていしき、英: cubic equation)とは、次数が 3 である代数方程式のことである。項目では主に、実数を係数とする一変数の三次方程式を扱う。 一般に一変数の三次方程式は の形で表現される。現代においては、三次方程式の解法といえば、主に代数的解法のことを意味する。 古代バビロニアにおいて既に代数的に解かれていたと考えられている二次方程式と違い、三次方程式が代数的に解かれたのは16世紀になってからである。11世紀頃、円錐曲線による作図によって三次方程式の解を幾何学的に表したウマル・ハイヤームなども、三次方程式を代数的に解くことはできないと考えていた。 三次方程式の代数的解法はガロア理論へと至る代数方程式論の始まりであり、カルダノが著書『アルス・マグナ』によって三次方程式と四次方程式の代数的解法を公表した1545年は、その影響の大きさから現代数学の始まりの年とさ

  • 1