ブラウザよりも高速アクセス！
39 関係: はめ込み、可換体、同値関係、多様体、実数、射影幾何学、射影空間、射影線型群、一般線型群、平面、平面三項環、平行、交代代数、代数幾何学、位相空間、ユークリッド幾何学、レオンハルト・オイラー、ボーイ・サーフェス、パップスの定理、デザルグの定理、ウェダーバーンの定理、商位相空間、八元数、積位相、等質空間、線型代数学、結合法則、環 (数学)、無限遠点、直積集合、相対位相、複素数、Well-defined、接続 (幾何学)、有限幾何学、有限体、斜体 (数学)、数学、整数。
はめ込み
数学において，はめ込み (immersion) は可微分多様体の間の可微分写像であって微分がいたるところ単射であるもののことである．明示的には， がはめ込みであるとは， が のすべての点 において単射関数であることをいう（ここで は多様体 の点 における接空間を表す）．同じことであるが， がはめ込みであるとは，その微分が の次元に等しい定数を持つことである： 関数 それ自身は単射である必要はない． 関連概念は埋め込みである．滑らかな埋め込みは位相的な埋め込みでもある単射はめ込み であり，したがって は におけるその像に微分同相である．はめ込みはちょうど局所的な埋め込みである――つまり，任意の点 に対して， のある近傍 が存在して， が埋め込みとなり，逆に局所的な埋め込みははめ込みである．無限次元多様体に対して，これははめ込みの定義として取られることもある． がコンパクトならば，単射なはめ込みは埋め込みであるが， がコンパクトでなければ，そうとは限らない；連続全単射と同相を比較せよ．.
可換体
抽象代数学において、可換体（かかんたい、corps commutatif）あるいは単に体（たい、field）本記事において単に体と言った場合「可換」体を意味するものとする。とは、零でない可換可除環、あるいは同じことだが、非零元全体が乗法の下で可換群をなすような環のことである。そのようなものとして体は、適当なアーベル群の公理と分配則を満たすような加法、減法、乗法、除法の概念を備えた代数的構造である。最もよく使われる体は、実数体、複素数体、有理数体であるが、他にも有限体、関数の体、代数体、''p'' 進数体、などがある。 任意の体は、線型代数の標準的かつ一般的な対象であるベクトル空間のスカラーとして使うことができる。（ガロワ理論を含む）体拡大の理論は、ある体に係数を持つ多項式の根に関係する。他の結果として、この理論により、古典的な問題である定規とコンパスを用いたや円積問題が不可能であることの証明や五次方程式が代数的に解けないというアーベル・ルフィニの定理の証明が得られる。現代数学において、体論は数論や代数幾何において必要不可欠な役割を果たしている。 代数的構造として、すべての体は環であるが、すべての環が体であるわけではない。最も重要な違いは、体は（ゼロ除算を除いて）除算ができるが、環は乗法逆元がなくてもよいということである。例えば、整数の全体は環をなすが、2x.
同値関係
数学において、同値関係（どうちかんけい、equivalence relation）は反射的、対称的かつ推移的な二項関係を言う。これらの性質の帰結として、与えられた集合において、一つの同値関係はその集合を同値類に分割（類別）する。 同値関係にあることを表す記法は文献によって様々に用いられるけれども、与えられた集合上の同値関係 に関して二元 が同値であることを "" や "" で表すのがもっともよく用いられる記法である。 に関して同値であることを明示する場合には、"" や "" あるいは "" などと書かれる。.
多様体
多様体（たようたい、manifold, Mannigfaltigkeit）とは、局所的にはユークリッド空間と見なせるような図形や空間（位相空間）のことである。多様体上には好きなところに局所的に座標を描き込むことができる。.
実数
数学における実数（じっすう、 nombre réel, reelle Zahl, real number）は、様々な量の連続的な変化を表す数の体系である。実数全体の空間は、途切れのなさにあたる完備性とよばれる位相的な性質を持ち、代数的には加減乗除ができるという体の構造を持っている。幾何学や解析学ではこれらのよい性質を利用して様々な対象が定義され、研究されている。一方でその構成方法に自明でない手続きが含まれるため、実数の空間は数学基礎論の観点からも興味深い性質を持っている。また、自然科学における連続的なものの計測値を表すのに十分な数の体系だとも考えられている。 実数の概念は、その形式的な定義が19世紀に達成される前から数の体系として使われていた。「実数」という名前は複素数の概念が導入された後に「普通の数」を表現する言葉として導入されたものである。.
射影幾何学
数学における射影幾何学（しゃえいきかがく、projective geometry）は射影変換の下で不変な幾何学的性質を研究する学問である（エルランゲン・プログラムも参照）。射影幾何は、初等的なユークリッド幾何とは設定を異にしており、射影空間といくつか基本的な幾何学的概念をもとに記述される。 初等的な直観としては、射影空間はそれと同じ次元のユークリッド空間と比べて「余分な」点（「無限遠点」と呼ばれる）を持ち、射影幾何学的な変換においてその余分な点と通常の点を行き来することが許されると考えることができる。射影幾何学における種々の有用な性質は、このような変換（射影変換）に関連して与えられる。最初に問題となるのは、この射影幾何学的な状況を適切に記述することのできる幾何学的な言語はどのようなものであるかということである。例えば、射影幾何において（ユークリッド幾何で扱うようには）角の概念を考えることはできない。実際、角が射影変換の下で不変でないような幾何学的概念の一つであることは透視図などを見れば明らかであり、このような透視図法に関する理論が、事実射影幾何学の源流の一つともなっている。初等的な幾何学とのもう一つの違いとして「平行線は無限遠点において交わる」と考えることが挙げられる。これにより、初等幾何学の概念を射影幾何学へ持ち込むことができる。これもやはり、透視図において鉄道の線路が地平線において交わるといったような直観を基礎に持つ概念である。二次元における射影幾何の基本的な内容に関しては射影平面の項へ譲る。 こういった考え方は古くからあったものだが、射影幾何学として発展するのは主に19世紀のことである。多くの研究が取りまとめられ、射影幾何学は当時の幾何学の最も代表的な分野となった。ここでいう射影幾何学は、座標系（斉次座標系）の各成分が複素数となる複素射影空間についての理論である。そしていくつかのより抽象的な数学の系譜（例えば不変式論、代数幾何学イタリア学派、あるいは古典群の研究へつながるフェリックス・クラインのエルランゲン・プログラムなど）が射影幾何学を礎として打ち立てられていった。これらの主題に関わった多くの研究者は、肩書きとしては総合幾何学 (synthetic geometry) に属する研究者である。他にも、射影幾何学の公理的研究から生まれた研究分野として有限幾何学がある。 射影幾何学自体も現在では多くの研究分野へ細分化が進んでおり、主なものとしては、射影代数幾何学（射影代数多様体の研究）と射影微分幾何学（射影変換に関する微分不変量の研究）の二つを挙げることができるだろう。.
新しい！!: 射影平面と射影幾何学 · 続きを見る »
射影空間
射影空間（しゃえいくうかん、projective space） とは、その次元が n であるとき、(n + 1)個の「数」の比全体からなる空間の事をさす。比を構成する「数」をどんな体（あるいは環）にとるかによって様々な空間が得られる。非ユークリッド幾何学のひとつである射影幾何学がその概念の端緒であるが、射影空間は位相幾何学、微分幾何学、代数幾何学など幾何学のあらゆる分野にわたって非常に重要な概念である。.
射影線型群
数学における射影線型群（しゃえいせんけいぐん、projective linear group）あるいは射影一般線型群（しゃえいいっぱんせんけいぐん、projective general linear group）とは一般線型群の中心による剰余群のことである。 同様に、射影特殊線型群(しゃえいとくしゅせんけいぐん、projective special linear group)とは特殊線型群の中心による剰余群のことである。 有限体上の射影特殊線型群はほとんどの場合に非可換有限単純群となる。 これらの群は射影空間に忠実に作用する。.
新しい！!: 射影平面と射影線型群 · 続きを見る »
一般線型群
数学において、一般線型群（いっぱんせんけいぐん、general linear group）とは線型空間上の自己同型写像のなす群のこと。あるいは基底を固定することで、正則行列のなす群のことを指すこともある。.
新しい！!: 射影平面と一般線型群 · 続きを見る »
平面
平面（へいめん、plane）とは、平らな表面のことである広辞苑 第五版、p.2395「平面」。平らな面。 一般的には曲面や立体などと対比されつつ理解されている。.
平面三項環
数学における代数構造 が空でない集合 とその上の三項演算 の組として与えられるとき、三項系と呼ぶ。 は平面三項環（へいめんさんこうかん、planar ternary ring; PTR）または三項体 特別な種類の三項系を座標として用いて射影平面を構成した。平面三項「環」は、加法と乗法の定められる環類似構造を持つが、厳密には必ずしも環ではない。 用語法には広くバリエーションがある。本項に言う平面三項環を文献によっては別の呼び方をするし、また本項の言うものの変種を平面三項環と呼ぶものもある。短く三項環と言うとき、平面三項環の意味で用いる場合もあれば、より一般の（あるいは別の）三項系の意味であるかもしれない。.
新しい！!: 射影平面と平面三項環 · 続きを見る »
平行
初等幾何学、特にユークリッド幾何学における平行性（へいこうせい、parallelism）は、ユークリッド平面上の直線が互いに交わらないという関係性を抽象化するものである。三次元空間において、直線と平面や平面同士についても共有点がないことを以って平行性を考えることができる。ただし、三次元空間内の直線同士の場合には、それらが互いに平行となるためにはそれらが同一平面上にあることを要請しなければならない（交わらない二直線は、それらが同一平面上にないならばねじれの位置にあるという）。 平行線はユークリッド原論における平行線公準の主対象である。 平行性は第一義にはの性質の一つであり、ユークリッド幾何学はその種の幾何学の特別な実例である。その他の幾何学においては、例えば双曲幾何学などでは、同様の（しかしまったく同じではない）特定の性質を満たすことを「平行」と言い表す。 以下、特に言及のない限り、主にユークリッド幾何学における平行性について述べる。.
交代代数
非可換環論における交代環（こうたいかん、alternative ring）あるいは交代多元環（こうたいたげんかん、alternative algebra; 交代代数）は、必ずしも結合的でない乗法を持つ体上の多元環（分配多元環）であって、特に任意の元 に対し.
代数幾何学
代数幾何学（だいすうきかがく、algebraic geometry）とは、多項式の零点のなすような図形を代数的手法を用いて（代数多様体として）研究する数学の一分野である。大別して、「多変数代数函数体に関する幾何学論」「射影空間上での複素多様体論」とに分けられる。前者は代数学の中の可換環論と関係が深く、後者は幾何学の中の多様体論と関係が深い。20世紀に入って外観を一新し、大きく発展した数学の分野といわれる。 ルネ・デカルトは、多項式の零点を曲線として幾何学的に扱う発想を生みだしたが、これが代数幾何学の始まりとなったといえる。例えば、x, y を実変数として "x2 + ay2 − 1" という多項式を考えると、これの零点のなす R2 の中の集合は a の正、零、負によってそれぞれ楕円、平行な2直線、双曲線になる。このように、多項式の係数と多様体の概形の関係は非常に深いものがある。 上記の例のように、代数幾何学において非常に重要な問題として「多項式の形から、多様体を分類せよ」という問題が挙げられる。曲線のような低次元の多様体の場合、分類は簡単にできると思われがちだが、低次元でも次数が高くなるとあっという間に分類が非常に複雑になる。 当然、次元が上がると更に複雑化し、4次元以上の代数多様体についてはあまり研究は進んでいない。 2次元の場合、多様体に含まれる(−1)カーブと呼ばれる曲線を除外していくことにより、特殊な物をのぞいて極小モデルと呼ばれる多様体が一意に定まるので、2次元の場合の分類問題は「極小モデルを分類せよ」という問題に帰着される。 3次元の場合も同じように極小モデルを分類していくという方針が立てられたが、3次元の場合は、その極小モデルが一意に定まるかどうかが大問題であった。 しかし、1988年森重文により3次元多様体の極小モデル存在定理が証明され、以降「森のプログラム」と呼ばれるプログラムに沿って分類が強力に推し進められている。 19世紀中期に、ベルンハルト・リーマンがアーベル関数論の中で双有理同値など代数幾何学の中心概念を生み出し、19世紀後半には、イタリアの直観的な代数幾何学が発展した（代数幾何学のイタリア学派）。20世紀前半には、アンドレ・ヴェイユ、オスカー・ザリスキによって、抽象的な代数幾何学の研究が進められ、1950年代以降はグロタンディークのスキーム論によって代数幾何学全体が大きく書き直された。.
新しい！!: 射影平面と代数幾何学 · 続きを見る »
位相空間
数学における位相空間（いそうくうかん, topological space）とは、集合にある種の情報（位相、topology）を付け加えたもので、この情報により、連続性や収束性といった概念が定式化可能になる。 位相空間論は位相空間の諸性質を研究する数学の分野である。.
ユークリッド幾何学
ユークリッド幾何学（ユークリッドきかがく、Euclidean geometry）は、幾何学体系の一つであり、古代エジプトのギリシア系・哲学者であるエウクレイデスの著書『ユークリッド原論』に由来する。詳しい説明は『ユークリッド原論』の記事にある。.
新しい！!: 射影平面とユークリッド幾何学 · 続きを見る »
レオンハルト・オイラー
レオンハルト・オイラー（Leonhard Euler, 1707年4月15日 - 1783年9月18日）は、18世紀の数学者・天文学者（天体物理学者）。 18世紀の数学の中心となり、続く19世紀の厳密化・抽象化時代の礎を築いた 日本数学会編『岩波数学辞典 第4版』、岩波書店、2007年、項目「オイラー」より。ISBN 978-4-00-080309-0 C3541 。スイスのバーゼルに生まれ、現在のロシアのサンクトペテルブルクにて死去した。.
新しい！!: 射影平面とレオンハルト・オイラー · 続きを見る »
ボーイ・サーフェス
ボーイ・サーフェス（ボーイ曲面）は、二次元実射影空間 RP2 のR3 へのはめ込みの一種である。 が二次元実射影空間RP2がR3 へはめ込み可能であることを発見した。ボーイは具体的にはめ込みを構成することでその発見をした。ボーイのこの業績に敬意を表してこの図形をボーイ・サーフェスと呼ぶ。.
新しい！!: 射影平面とボーイ・サーフェス · 続きを見る »
パップスの定理
数学において「パップスの定理」と呼ばれる定理は複数のものが知られている。いずれもアレキサンドリアのパップスによって発見されたものである。.
新しい！!: 射影平面とパップスの定理 · 続きを見る »
デザルグの定理
デザルグの定理（デザルグの-ていり、théorème de Desargues）とは、ジラール・デザルグが証明した、空間内の二つの三角形の相互の関係に関するアフィン幾何学（ユークリッド幾何学）および射影幾何学の定理である。 パスカルの定理とともに射影幾何学の基本定理の一つとして知られる。.
新しい！!: 射影平面とデザルグの定理 · 続きを見る »
ウェダーバーンの定理
ウェダーバーンの定理 (Wedderburn's theorem).
新しい！!: 射影平面とウェダーバーンの定理 · 続きを見る »
商位相空間
位相空間論およびそれに関連する数学の各分野において、等化空間（とうかくうかん、identification space）または商位相空間（しょういそうくうかん、quotient topological space）あるいは単に商空間 (quotient space) とは、直観的には与えられた空間のある種の点の集まりを「貼合せ」("gluing together") あるいは同一視してしまうことによって得られる新しい空間である。ただし、ここで貼合わせられるべき点の集まりというのは、何らかの同値関係によって決定される。 このような商空間構成は、与えられた位相空間から新たな空間を構成する方法の一つとして広く用いられる。.
新しい！!: 射影平面と商位相空間 · 続きを見る »
八元数
数学における八元数（はちげんすう、octonions; オクトニオン）の全体は実数体上のノルム多元体で、ふつう大文字アルファベットの O を使って、太字の O（あるいは黒板太字の 𝕆）で表される。実数体上のノルム多元体はたった四種類であり、O のほかは、実数の全体 R, 複素数の全体 C, 四元数の全体 H しかない。O はこれらノルム多元体の中で最大のもので、実八次元、これは H の次元の二倍である（O は H を拡大して得られる）。八元数の全体 O における乗法は非可換かつ非結合的だが、弱い形の結合性である冪結合律は満足する。 より広く調べられ利用されている四元数や複素数に比べれば、八元数についてはそれほどよく知られているわけではない。にもかかわらず、八元数にはいくつも興味深い性質があり、それに関連して（例外型リー群が持つような）例外的な構造もいくつも備えている。加えて、八元数は弦理論などといった分野に応用を持っている。 八元数は、ハミルトンの四元数の発見に刺激を受けたジョン・グレイヴスによって1843年に発見され、グレイヴスはこれを octaves と呼んだ。それとは独立にケイリーも八元数を発見しており、八元数のことをケイリー数、その全体をケイリー代数と呼ぶことがある。.
積位相
位相幾何学とその周辺において、積空間（せきくうかん、product space）とは位相空間の族の直積に積位相 (product topology) と呼ばれるを入れた空間のことである。この位相は他の、もしかするとより明らかな、と呼ばれる位相とは異なる。箱位相も積空間に与えることができ、有限個の空間の直積では積位相と一致する。しかしながら、積位相は位相空間の圏における圏論的積であるという意味で「正しい」位相である。（一方箱位相は細かすぎる。）これが積位相が「自然」であるという意味である。.
等質空間
数学、とくにリー群、代数群、位相群の理論において、群 の等質空間（とうしつくうかん、homogeneous space）は、 が推移的に作用するような空でない多様体あるいは位相空間 である。 の元は の対称変換 (symmetry) と呼ばれる。特別な場合は、問題の が空間 の自己同型群であるときである――ここで「自己同型群」は、微分同相群、あるいはの意味である。この場合 が等質空間であるとは、直感的には が、等長写像（リジッド幾何学）、微分同相写像（微分幾何学）、あるいは同相写像（位相幾何学）の意味において、各点で局所的に同じに見えるということである。著者によっては の作用が忠実である（非単位元は非自明に作用する）ことを要求するが、本記事ではそうしない。したがって、 上のある「幾何学的構造」を保ち を単一の G-軌道にすると考えられるような の への群作用が存在する。.
線型代数学
線型代数学（せんけいだいすうがく、linear algebra）とは、線型空間と線型変換を中心とした理論を研究する代数学の一分野である。現代数学において基礎的な役割を果たし、幅広い分野に応用されている。また、これは特に行列・行列式・連立一次方程式に関する理論を含む。線形などの用字・表記の揺れについては線型性を参照。 日本の大学においては、多くの理系学部学科で解析学（微分積分学）とともに初学年から履修する。なお、高校教育においては平成27年度からの新課程では行列の分野が除外されている。.
新しい！!: 射影平面と線型代数学 · 続きを見る »
結合法則
数学、殊に代数学における結合法則（けつごうほうそく、associative law) 、結合則、結合律あるいは演算の結合性（けつごうせい、associativity）は二項演算に対して考えられる性質の一つ。ひとつの数式にその演算の演算子が2個以上並んでいる時、その演算子について、左右どちらの側が優先されるかに関わらず結果が同じになるような演算は結合的 (associative) である。.
環 (数学)
数学における環（かん、ring）は、台集合に「加法」（和）および「乗法」（積）と呼ばれる二種類の二項演算を備えた代数系になっており、最もよく知られた環の例は、整数全体の成す集合に自然な加法と乗法を考えたものである（これは乗法が可換だから可換環の例でもある）。ただし、それが環と呼ばれるためには、環の公理として、加法は可換で、加法と乗法はともに結合的であって、乗法は加法の上に分配的で、各元は加法逆元をもち、加法単位元が存在すること、が全て要求される。従って、台集合は加法のもと「加法群」と呼ばれるアーベル群を成し、乗法のもと「乗法半群」と呼ばれる半群であって、乗法は加法に対して分配的であり、またしばしば乗法単位元を持つ乗法に関しては半群となることのみを課す（乗法単位元の存在を要求しない）こともある。定義に関する注意節を参照。なお、よく用いられる環の定義としていくつか流儀の異なるものが存在するが、それについては後述する。 環について研究する数学の分野は環論として知られる。環論学者が研究するのは（整数環や多項式環などの）よく知られた数学的構造やもっと他の環論の公理を満足する多くの未だよく知られていない数学的構造のいずれにも共通する性質についてである。環という構造のもつ遍在性は、数学の様々な分野において同時多発的に行われた「代数化」の動きの中心原理として働くことになった。 また、環論は基本的な物理法則（の根底にある特殊相対性）や物質化学における対称現象の理解にも寄与する。 環の概念は、1880年代のデデキントに始まる、フェルマーの最終定理に対する証明の試みの中で形成されていった。他分野（主に数論）からの寄与もあって、環の概念は一般化されていき、1920年代のうちにエミー・ネーター、ヴォルフガング・クルルらによって確立される。活発に研究が行われている数学の分野としての現代的な環論では、独特の方法論で環を研究している。すなわち、環を調べるために様々な概念を導入して、環をより小さなよく分かっている断片に分解する（イデアルをつかって剰余環を作り、単純環に帰着するなど）。こういった抽象的な性質に加えて、環論では可換環と非可換環を様々な点で分けて考える（前者は代数的数論や代数幾何学の範疇に属する）。特に豊かな理論が展開された特別な種類の可換環として、可換体があり、独自に体論と呼ばれる分野が形成されている。これに対応する非可換環の理論として、非可換可除環（斜体）が盛んに研究されている。なお、1980年代にアラン・コンヌによって非可換環と幾何学の間の奇妙な関連性が指摘されて以来、非可換幾何学が環論の分野として活発になってきている。.
新しい！!: 射影平面と環 (数学) · 続きを見る »
無限遠点
無限遠点（むげんえんてん、point at infinity）とは、限りなく遠いところ（無限遠）にある点のことである。日常的な意味の空間を考えている限り無限遠点は仮想的な概念でしかないが、無限遠点を実在の点とみなせるように空間概念を一般化することができる。そのようにすることで理論的な見通しが立てやすくなったり、空間概念の応用の幅が拡がったりする。 例えば、通常、平面上の二直線の位置関係は一点で交わるか平行であるかのどちらかであるとされている。これを、平行な二直線は無限遠点で交わるのだと考えることにすると、平面上の二直線は必ず一点で交わるという簡明な性質が得られることになる。（この例について、詳しくは非ユークリッド幾何学などを参照のこと） ユークリッド平面上の互いに平行な 2 直線の交点のことである。厳密にはこの交点はユークリッド平面の中には存在しないから、無限遠点はユークリッド平面の外に存在する。 無限遠点の全体は無限遠直線を描く。.
直積集合
数学において、集合のデカルト積（デカルト­せき、Cartesian product）または直積（ちょくせき、direct product）、直積集合、または単に積（せき、product）、積集合は、集合の集まり（集合族）に対して各集合から一つずつ元をとりだして組にしたもの（元の族）を元として持つ新たな集合である。 具体的に二つの集合 に対し、それらの直積とはそれらの任意の元 の順序対 全てからなる集合をいう。 では と書くことができる。有限個の集合の直積 も同様のn-組からなる集合として定義されるが、二つの集合の直積を入れ子 (nested) にして、 と帰納的に定めることもできる。.
相対位相
数学の位相空間論周辺分野における部分位相空間（ぶぶんいそうくうかん、subspace）は、位相空間の部分集合でもとの空間から由来する自然な位相を備えたものをいう。そのような位相は、部分空間位相 (subspace topology), 相対位相 (relative topology) あるいは誘導位相 (induced topology) やトレース位相 (trace topology) などと呼ばれる。.
複素数
数学における複素数（ふくそすう、complex number）は、実数の対 と と線型独立な（実数ではない）要素 の線型結合 の形に表される数（二元数: 実数体上の二次拡大環の元）で、基底元 はその平方が になるという特別な性質を持ち虚数単位と呼ばれる。 複素数全体の成す集合を太字の あるいは黒板太字で と表す。 は、実数全体の成す集合 と同様に、可換体の構造を持ち、とくに を含む代数閉体を成す。複素数体はケイリー–ディクソン代数（四元数、八元数、十六元数など）の基点となる体系であり、またさまざまな超複素数系の中で最もよく知られた例である。 複素数の概念は、一次元の実数直線を二次元の複素数平面に拡張する。複素数は自然に二次元平面上に存在すると考えることができるから、複素数全体の成す集合上に自然な大小関係（つまり全順序）をいれることはできない。すなわち は順序体でない。 ある数学的な主題や概念あるいは構成において、それが複素数体を基本の体構造として考えられているとき、そのことはしばしばそれら概念等の名称に（おおくは接頭辞「複素-」を付けることで）反映される。例えば、複素解析、複素行列、複素（係数）多項式、複素リー代数など。.
Well-defined
数学における は、ある概念が数学的あるいは論理学的に特定の条件を公理に用いて定義・導入されるとき、その定義（における公理の組）が自己矛盾をその中に含み持たぬ状態にあることを言い表す修飾語句である。また、ある概念の定義をする場合、そう決めることによって、何も論理的な矛盾なく上手くいくということ（定義の整合性）が確認されているということを言い表す言葉である。文脈により、「うまく定義されている」「矛盾なく定まった」「定義可能である」などと表現されることもある。 でないことは、 であることとは異なる。 は「状態」を表す形容詞であるが、日本語の定訳はなく慣例的に形容詞と動詞の複合語に訳されるか、そのまま形容動詞的に「 である」といった形で用いる。名詞形 などもあり、これを 性と記すことはできるが日本語訳としてこなれたものは特には存在しない（文脈によっては「定義可能性」などで代用可能である）。.
新しい！!: 射影平面とWell-defined · 続きを見る »
接続 (幾何学)
微分幾何学において、接続（せつぞく、connection）の考え方により、曲線や曲線の族にそって平行で整合性を持つデータの移動の考え方を詳しく示すことができる。 現代の幾何学には多くの種類の接続の考え方があり、移動したいデータが何であるかに依存する。例えば、アフィン接続は接続の最も基本的なタイプであるが、この接続はある曲線に沿ってある点から別な点へ多様体の接ベクトルを移動することを意味する。アフィン接続は、典型的には共変な微分形式として与えられ、ベクトル場の方向微分、つまり与えられた方向へのベクトル場の無限小移動をとることを意味する。 現代の幾何学では接続は非常に重要である。大きな理由は、接続によりある点での局所幾何学と別な点での局所幾何学を比較することが可能となるからである。微分幾何学は、接続の考え方のいくつかの変形を持っている。大きなグループ分けをすると 2つのグループがあり、局所の理論と無限小の理論である。局所理論は、やの考え方に最初から関係する。無限小の理論は、幾何学的なデータの微分と関係する。このように、共変微分は多様体上のベクトル場を他のベクトル場に沿った微分として特定することである。は、微分形式やリー群を使い接続の理論をある側面から定式化する方法である。は、許される場の運動方向を特定することによるファイバーバンドル、あるいは主バンドルでの接続のことを言う。は、ベクトルバンドルへ一般化したときの接続である。（本記事では、ベクトルバンドルについて接続を考えるとき、「Koszul接続」という単語を用いることとする．） さらに接続は、曲率や捩れテンソルような、幾何学的不変量をうまく定式化することにも使われる（曲率テンソルや曲率形式も参照）。.
新しい！!: 射影平面と接続 (幾何学) · 続きを見る »
有限幾何学
有限幾何学（ゆうげんきかがく）とは有限個の点から構成される幾何学の体系である。例えばユークリッド幾何学は有限幾何学でない。ユークリッド空間における「線」は無限に多くの（実際は実数と同じ濃度の)「点」を含むからである。 ユークリッド幾何は任意の次元で存在することと同様に、有限幾何も任意の(有限)次元で存在する。ただし、ユークリッド幾何とは異なり、有限幾何の場合は同じ次元でも各種の異なった(幾何学的)構造が存在し得る。.
新しい！!: 射影平面と有限幾何学 · 続きを見る »
有限体
有限体（ゆうげんたい、英語：finite field）とは、代数学において、有限個の元からなる体、すなわち四則演算が定義され閉じている有限集合のことである。主に計算機関連の分野においては、発見者であるエヴァリスト・ガロアにちなんでガロア体あるいはガロア域（ガロアいき、Galois field）などとも呼ぶ。 有限体においては、体の定義における乗法の可換性についての条件の有無は問題にはならない。実際、ウェダーバーンの小定理と呼ばれる以下の定理 が成り立つことが知られている。別な言い方をすれば、有限体において乗法の可換性は、体の有限性から導かれるということである。.
斜体 (数学)
斜体（しゃたい、skew field; 歪体, Schiefkörper, corps, corps gauche）は加減乗除が可能な代数系である。除法の可能な環であるという意味で可除環（かじょかん、, ）ともいう。係数環を持ち、多元環の構造を持つことを強調する場合は、特に多元体（たげんたい、,; 可除多元環）と呼称することも多いいかなる斜体も、その中心を係数体として多元環と見ることができるので、この区別は文脈上で立場を明確にする必要のある場合を除いてはさほど重要ではない。非可換な積を持つ体を非可換体（ひかかんたい、, ）という。.
新しい！!: 射影平面と斜体 (数学) · 続きを見る »
数学
数学（すうがく、μαθηματικά, mathematica, math）は、量（数）、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.
整数
数学における整数（せいすう、integer, whole number, Ganze Zahl, nombre entier, número entero）は、0 とそれに 1 ずつ加えていって得られる自然数 (1, 2, 3, 4, …) および 1 ずつ引いていって得られる数 (−1, −2, −3, −4, …) の総称である。 整数は数直線上の格子点として視覚化される 整数の全体からなる集合は普通、太字の Z または黒板太字の \mathbb Z で表す。これはドイツ語 Zahlen（「数」の意・複数形）に由来する。 抽象代数学、特に代数的整数論では、しばしば「代数体の整数環」の元という意味で代数的整数あるいは「整数」という言葉を用いる。有理数全体の成す体はそれ自身が代数体の最も簡単な例であり、有理数体の代数体としての整数環すなわち、「有理数の中で整なもの」の全体の成す環は、本項でいう意味での整数全体の成す環である。一般の「整数」との区別のためにここでいう意味の整数を有理整数 (rational integer) と呼ぶことがある接頭辞「有理（的）」(rational) はそもそも「整数比」であるという意味なので、この呼称は自己循環的にもみえる。しかし、有理整数と呼ぶ場合の「有理」は「有理数の中で」という程度の意味の単なる符牒であって、「整数比」という本来の意味合いに拘るのは徒労である。。.
