代数的定義とは? わかりやすく解説

代数的定義

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/12/29 22:09 UTC 版)

ドット積」の記事における「代数的定義」の解説

2つベクトル A = [A1, A2, ..., An] と B = [B1, B2, ..., Bn] のドット積下記のように定義される。 A ⋅ B = ∑ i = 1 n A i B i = A 1 B 1 + A 2 B 2 + ⋯ + A n B n {\displaystyle \mathbf {A} \cdot \mathbf {B} =\sum _{i=1}^{n}A_{i}B_{i}=A_{1}B_{1}+A_{2}B_{2}+\cdots +A_{n}B_{n}}

※この「代数的定義」の解説は、「ドット積」の解説の一部です。
「代数的定義」を含む「ドット積」の記事については、「ドット積」の概要を参照ください。


代数的定義

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/08/29 01:43 UTC 版)

アーベル多様体」の記事における「代数的定義」の解説

一般の体 k の上アーベル多様体同値2つの定義は、共通に使われる。 k 上の連結完備代数群 k 上の連結射影的代数群 基礎体が複素数体のとき、これらの考え前述の定義に一致するすべての基礎上で楕円曲線次元 1アーベル多様体である。 1940年代ヴェイユは(任意の基礎の上で)最初の定義である k は完備であることを使ったが、第二番目の定義である k が射影的であることを証明することができなかった。しかし、1948年に彼は完備代数群射影空間埋め込むことが可能であることを証明した一方、彼は1940年言明していたのであるが、有限体上の代数曲線リーマン予想の証明をするために、彼は抽象代数多様体英語版)(abstract variety)の考え方導入し射影埋め込みなしで多様体を扱う代数幾何学基礎書き換えた。(Algebraic Geometry歴史セクション参照

※この「代数的定義」の解説は、「アーベル多様体」の解説の一部です。
「代数的定義」を含む「アーベル多様体」の記事については、「アーベル多様体」の概要を参照ください。


代数的定義

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/07/29 18:24 UTC 版)

j-不変量」の記事における「代数的定義」の解説

今までは、j を複素変数函数として考えてきたが、楕円曲線同型類の不変量としては、j を純粋に代数的に定義するともできる。 y 2 + a 1 x y + a 3 y = x 3 + a 2 x 2 + a 4 x + a 6 {\displaystyle y^{2}+a_{1}xy+a_{3}y=x^{3}+a_{2}x^{2}+a_{4}x+a_{6}} を任意のの上平面楕円曲線とすると、 b 2 = a 1 2 + 4 a 2 , b 4 = a 1 a 3 + 2 a 4 {\displaystyle b_{2}=a_{1}^{2}+4a_{2},\quad b_{4}=a_{1}a_{3}+2a_{4}} b 6 = a 3 2 + 4 a 6 , b 8 = a 1 2 a 6 − a 1 a 3 a 4 + a 2 a 3 2 + 4 a 2 a 6 − a 4 2 {\displaystyle b_{6}=a_{3}^{2}+4a_{6},\quad b_{8}=a_{1}^{2}a_{6}-a_{1}a_{3}a_{4}+a_{2}a_{3}^{2}+4a_{2}a_{6}-a_{4}^{2}} c 4 = b 2 2 − 24 b 4 , c 6 = − b 2 3 + 36 b 2 b 4 − 216 b 6 {\displaystyle c_{4}=b_{2}^{2}-24b_{4},\quad c_{6}=-b_{2}^{3}+36b_{2}b_{4}-216b_{6}} と定義することができ、 Δ = − b 2 2 b 8 + 9 b 2 b 4 b 6 − 8 b 4 327 b 6 2 {\displaystyle \Delta =-b_{2}^{2}b_{8}+9b_{2}b_{4}b_{6}-8b_{4}^{3}-27b_{6}^{2}} と表すと、これは楕円曲線判別式表している。 ここで、楕円曲線j-不変量j = c 4 3 Δ {\displaystyle j={c_{4}^{3} \over \Delta }} と定義する楕円曲線定義されている体の標数が 2 もしくは 3 でない場合に、この定義は j = 1728 c 4 3 c 4 3c 6 2 {\displaystyle j=1728{c_{4}^{3} \over c_{4}^{3}-c_{6}^{2}}} と書き直すことができる。

※この「代数的定義」の解説は、「j-不変量」の解説の一部です。
「代数的定義」を含む「j-不変量」の記事については、「j-不変量」の概要を参照ください。

ウィキペディア小見出し辞書の「代数的定義」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「代数的定義」の関連用語

代数的定義のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



代数的定義のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaのドット積 (改訂履歴)、アーベル多様体 (改訂履歴)、j-不変量 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS