ブラウザよりも高速アクセス！
40 関係: はめ込み、可微分多様体、右手の法則、向き、多様体、対称群、一般線型群、一般相対性理論、平面、交代群、位相同型、体積形式、微分形式、ハーパーコリンズ、メビウスの帯、ヤコビ行列、ユークリッド空間、トーラス、ファイバー束、ホモロジー (数学)、ベクトル束、クラインの壺、クライン体、ストークスの定理、スフィア、サーフェス、球面、特異ホモロジー、行列、行列式、被覆空間、部分群の指数、連結空間、接束、法線ベクトル、滑らかな関数、指標理論、数学、曲面、時空。
はめ込み
数学において，はめ込み (immersion) は可微分多様体の間の可微分写像であって微分がいたるところ単射であるもののことである．明示的には， がはめ込みであるとは， が のすべての点 において単射関数であることをいう（ここで は多様体 の点 における接空間を表す）．同じことであるが， がはめ込みであるとは，その微分が の次元に等しい定数を持つことである： 関数 それ自身は単射である必要はない． 関連概念は埋め込みである．滑らかな埋め込みは位相的な埋め込みでもある単射はめ込み であり，したがって は におけるその像に微分同相である．はめ込みはちょうど局所的な埋め込みである――つまり，任意の点 に対して， のある近傍 が存在して， が埋め込みとなり，逆に局所的な埋め込みははめ込みである．無限次元多様体に対して，これははめ込みの定義として取られることもある． がコンパクトならば，単射なはめ込みは埋め込みであるが， がコンパクトでなければ，そうとは限らない；連続全単射と同相を比較せよ．.
新しい！!: 向き付け可能性とはめ込み · 続きを見る »
可微分多様体
数学において、可微分多様体（かびぶんたようたい、differentiable manifold）、あるいは微分可能多様体（びぶんかのうたようたい）は、局所的に十分線型空間に似ており微積分ができるような多様体である。任意の多様体は、チャート（座標近傍、局所座標）の集まり、アトラス（座標近傍系、局所座標系）、によって記述することができる。各座標近傍は微積分の通常のルールが適用する線型空間の中にあるから、各々のチャートの中で考えるときには微積分学のアイデアを適用できる。チャートが適切に両立可能であれば（すなわち1つのチャートから別のチャートへの変換が微分可能であれば）、1つのチャートでなされた計算は任意の他の微分可能なチャートにおいても有効である。 フォーマルに言えば、可微分多様体は大域的に定義されたを持つ位相多様体である。任意の位相多様体にはアトラスの同相写像と線型空間上の標準的な微分構造を用いて局所的に微分構造を与えることができる。同相写像によって誘導された局所座標系上の大域的な微分構造を誘導するためには、アトラスのチャートの共通部分上での合成が対応する線型空間上の微分可能な関数でなければならない。言い換えると、チャートの定義域が重なっているところでは、各チャートによって定義された座標はアトラスのすべてのチャートによって定義された座標に関して微分可能であることが要求される。様々なチャートによって定義された座標を互いに結びつける写像を変換関数 (transition map/遷移写像/座標変換) と呼ぶ。 微分可能性は文脈によって連続微分可能、k 回微分可能、滑らか、正則といった異なる意味を持つ。さらに、抽象的な空間にそのような可微分構造を誘導できることによって微分可能性の定義を大域的な座標系なしの空間に拡張することができる。微分構造によって大域的に微分可能な接空間、微分可能な関数、微分可能なテンソル場やベクトル場を定義することができる。可微分多様体は物理においても非常に重要である。特別な種類の可微分多様体は古典力学、一般相対論、ヤン・ミルズ理論といった物理理論の基礎をなす。可微分多様体に対して微積分を展開することが可能である。これによって exterior calculus （外微分法/外微分学）のような数学的機構が導かれる。可微分多様体上の微積分の研究は微分幾何学と呼ばれる。.
新しい！!: 向き付け可能性と可微分多様体 · 続きを見る »
右手の法則
右手の法則（みぎてのほうそく、right-hand rule）とは、三次元空間において、座標系の「右手系」の取り方、クロス積、電磁誘導による起電力の向き、方向ベクトル（回転軸）に基づく「右手回り」回転方向、螺旋の巻く向きなどの定義を言い表したものを指す。日本では「右ねじ」（の法則）とも言う。なお本稿では右手系直交座標系の採用を仮定する。.
新しい！!: 向き付け可能性と右手の法則 · 続きを見る »
向き
数学における実ベクトル空間の向き（むき、orientation) または向き付けとは、基底の順序付き組に対し「正」の向きまたは「負」の向きを指定する規約のことである。3次元ユークリッド空間における2種類の向きはそれぞれ右手系や左手系（あるいは右キラル・左キラル）と呼ばれる。しばしば右手系が正の向きにとられるものの、右手系を負の向きとするような向き付けももちろんありうる。 実ベクトル空間における向きの概念を基礎として、実多様体などの様々な幾何学的対象にも向きを考えることができる。.
新しい！!: 向き付け可能性と向き · 続きを見る »
多様体
多様体（たようたい、manifold, Mannigfaltigkeit）とは、局所的にはユークリッド空間と見なせるような図形や空間（位相空間）のことである。多様体上には好きなところに局所的に座標を描き込むことができる。.
新しい！!: 向き付け可能性と多様体 · 続きを見る »
対称群
対称群（たいしょうぐん、）とは、「ものを並べ替える」という操作を元とする群である。この場合の「ものを並べ替える」操作のことを置換（ちかん、）という。数学の議論の様々な場面で「番号づけられて並んでいるものを入れ替える」「入れ替えの可能性すべてを調べる」ことが問題となり、対称群はそのような議論を定式化するために用いられる。置換のうちで特別なものだけを集めて得られる群は置換群（ちかんぐん、）と呼ばれる。置換群が空間 の変換群として与えられているとき、 の元 の置換は で与えられる の部分群の分だけ潰れているが、これは のなかに と「同じ」元が複数含まれている場合に対応しており、 の中でこれらを区別することができれば の元の置換から対称群 が回復される。.
新しい！!: 向き付け可能性と対称群 · 続きを見る »
一般線型群
数学において、一般線型群（いっぱんせんけいぐん、general linear group）とは線型空間上の自己同型写像のなす群のこと。あるいは基底を固定することで、正則行列のなす群のことを指すこともある。.
新しい！!: 向き付け可能性と一般線型群 · 続きを見る »
一般相対性理論
一般相対性理論（いっぱんそうたいせいりろん、allgemeine Relativitätstheorie, general theory of relativity）は、アルベルト・アインシュタインが1905年の特殊相対性理論に続いて1915年から1916年にかけて発表した物理学の理論である。一般相対論（いっぱんそうたいろん、general relativity）とも。.
新しい！!: 向き付け可能性と一般相対性理論 · 続きを見る »
平面
平面（へいめん、plane）とは、平らな表面のことである広辞苑 第五版、p.2395「平面」。平らな面。 一般的には曲面や立体などと対比されつつ理解されている。.
新しい！!: 向き付け可能性と平面 · 続きを見る »
交代群
交代群（こうたいぐん、alternating group, Alternierende Gruppe）とは、有限集合の偶置換全体がなす群である。集合 上の交代群は n 次の交代群、もしくは n 文字の交代群 (the alternating group on n letters) と呼ばれ、An もしくは Alt(n), \mathfrak_n という記号で表す。これは n 変数の交代式を不変とするような変数の置換がなす群と思ってもよい。 例として、4つの元からなる集合 の交代群 A4 は以下のようになる。A4.
新しい！!: 向き付け可能性と交代群 · 続きを見る »
位相同型
位相同型 （いそうどうけい、homeomorphic）、あるいは同相（どうそう）とは、2つの位相空間が位相空間として等しいことを表す概念である。 例えば、球の表面と湯飲みの表面とはある「連続」な双方向の移し方で互いに移し合うことができるので同相であり、また穴が1つ開いたドーナツの表面 (トーラス) と持ち手がひとつあるマグカップの表面も同じく同相である。よって球の表面と湯のみの表面は位相幾何学的に全く同一の性質を持ち、ドーナツの表面とマグカップの表面も同一の性質を持つ。しかし、球面とトーラスとはこのような写し方が存在しないので同相とはならない。（直観的には、連続的な変形によって穴の個数が変化することはないということである。） ここで連続な写し方とは、直観的には近いところを近いところに写すような写し方を意味する。.
新しい！!: 向き付け可能性と位相同型 · 続きを見る »
体積形式
微分可能多様体(differentiable manifold)上の体積形式(volume form)とは、多様体上至る所 0 とはならない最高次数の微分形式のことである。特に、次元が n の多様体 M 上では、体積形式は至る所 0 にはならない直線束 \Omega^n(M).
新しい！!: 向き付け可能性と体積形式 · 続きを見る »
微分形式
数学における微分形式（びぶんけいしき、differential form）とは、微分可能多様体上に定義される共変テンソル場である。微分形式によって多様体上の局所的な座標の取り方によらない関数の微分が表現され、また多様体の内在的な構造のみによる積分は微分形式に対して定義される。微分多様体上の微分形式は共変テンソルとしての座標変換性によって、あるいは接ベクトル空間上の線型形式の連続的な分布として定式化される。また、代数幾何学・数論幾何学や非可換幾何学などさまざまな幾何学の分野でそれぞれ、この類推として得られる微分形式の概念が定式化されている。.
新しい！!: 向き付け可能性と微分形式 · 続きを見る »
ハーパーコリンズ
ハーパーコリンズ（英: HarperCollins）は出版社であり、ニューズ・コーポレーションの子会社。イギリスの William Collins, Sons and Co Ltd.
新しい！!: 向き付け可能性とハーパーコリンズ · 続きを見る »
メビウスの帯
メビウスの帯 メビウスの帯（メビウスのおび、Möbius strip, Möbius band）、またはメビウスの輪（メビウスのわ、Möbius loop）は、帯状の長方形の片方の端を180°ひねり、他方の端に貼り合わせた形状の図形（曲面）である。メービウスの帯ともいう。 数学的には向き付け不可能性という特徴を持ち、その形状が化学や工学などに応用されているほか、芸術や文学において題材として取り上げられることもある。.
新しい！!: 向き付け可能性とメビウスの帯 · 続きを見る »
ヤコビ行列
数学、特に多変数微分積分学およびベクトル解析におけるヤコビ行列（やこびぎょうれつ、Jacobian matrix）あるいは単にヤコビアンまたは関数行列（かんすうぎょうれつ、Funktionalmatrix）は、一変数スカラー値関数における接線の傾きおよび一変数ベクトル値函数の勾配の、多変数ベクトル値関数に対する拡張、高次元化である。名称はカール・グスタフ・ヤコブ・ヤコビに因む。多変数ベクトル値関数 のヤコビ行列は、 の各成分の各軸方向への方向微分を並べてできる行列で \end\quad (f.
新しい！!: 向き付け可能性とヤコビ行列 · 続きを見る »
ユークリッド空間
数学におけるユークリッド空間（ユークリッドくうかん、Euclidean space）は、エウクレイデス（ユークリッド）が研究したような幾何学（ユークリッド幾何学）の場となる平面や空間、およびその高次元への一般化である。エウクレイデスが研究した平面や空間はそれぞれ、2次元ユークリッド空間、3次元ユークリッド空間に当たり、これらは通常、ユークリッド平面、ユークリッド空間などとも呼ばれる。「ユークリッド的」という修飾辞は、これらの空間が非ユークリッド幾何やアインシュタインの相対性理論に出てくるような曲がった空間ではないことを示唆している。 古典的なギリシャ数学では、ユークリッド平面や（三次元）ユークリッド空間は所定の公準によって定義され、そこからほかの性質が定理として演繹されるものであった。現代数学では、デカルト座標と解析幾何学の考え方にしたがってユークリッド空間を定義するほうが普通である。そうすれば、幾何学の問題に代数学や解析学の道具を持ち込んで調べることができるようになるし、三次元以上のユークリッド空間への一般化も容易になるといった利点が生まれる。 現代的な観点では、ユークリッド空間は各次元に本質的に一つだけ存在すると考えられる。たとえば一次元なら実数直線、二次元ならデカルト平面、より高次の場合は実数の組を座標にもつ実座標空間である。つまり、ユークリッド空間の「点」は実数からなる組であり、二点間の距離は二点間の距離の公式に従うものとして定まる。n-次元ユークリッド空間は、（標準的なモデルを与えるものという意味で）しばしば とかかれるが、（余分な構造を想起させない）ユークリッド空間固有の性質を備えたものということを強調する意味で と書かれることもある。ふつう、ユークリッド空間といえば有限次元であるものをいう。.
新しい！!: 向き付け可能性とユークリッド空間 · 続きを見る »
トーラス
初等幾何学におけるトーラス（torus, 複数形: tori）、円環面、輪環面は、円周を回転して得られる回転面である。 いくつかの文脈では、二つの単位円周の直積集合 （に適当な構造を入れたもの）を「トーラス」と定義する。特に、位相幾何学における「トーラス」は、直積位相を備えた に同相な図形の総称として用いられ、 の（コンパクト二次元多様体）として特徴づけられる。このようなトーラスは三次元ユークリッド空間 に位相的に埋め込めるが、各生成円をそれぞれ別の平面 に埋め込んで、それら埋め込みを保つような直積空間としての「トーラス」をユークリッド空間に埋め込むことは では不可能で、 で考える必要がある。これは と呼ばれる、四次元空間内の曲面を成す。 混同すべきでない関連の深い図形として、トーラスに囲まれた領域（三次元図形）すなわち「中身の詰まったトーラス」(solid torus) を、トーラス体、輪環体、円環体などと（対してもとのトーラスをトーラス面 (toroid) と）呼ぶこともある。また、中身の詰まったトーラスを単に「トーラス」(toroid) と呼ぶ場合があるので注意が必要である。また、同様に「円環」などと呼ばれる別の図形アニュラス（annulus、環帯）とも混同してはならない。.
新しい！!: 向き付け可能性とトーラス · 続きを見る »
ファイバー束
ファイバー束（ファイバーそく、fiber bundle, fibre bundle）とは、位相空間に定義される構造の一つで、局所的に 2 種類の位相空間の直積として表現できる構造の事である。.
新しい！!: 向き付け可能性とファイバー束 · 続きを見る »
ホモロジー (数学)
数学、とくに代数的位相幾何学や抽象代数学において、ホモロジー (homology) （「同一である」ことを意味するギリシャ語のホモス (ὁμός) に由来）は与えられた数学的対象、例えば位相空間や群に、アーベル群や加群の列を対応させる一つの一般的な手続きをいう。より詳しい背景については ホモロジー論 を見られたい。また、ホモロジーの手法の位相空間に対する具体的な適用については特異ホモロジーを、群についてのそれは群コホモロジーを、それぞれ参照されたい。 位相空間に対しては、ホモロジー群は一般にホモトピー群よりもずっと計算しやすく、したがって、空間を分類する道具としてはより手軽に扱えるものといえるだろう。.
新しい！!: 向き付け可能性とホモロジー (数学) · 続きを見る »
ベクトル束
数学において、ベクトル束（べくとるそく、vector bundle; ベクトルバンドル）は、ある空間 （例えば、 は位相空間、多様体、代数多様体等）により径数付けられたベクトル空間の族を作るという方法で与えられる幾何学的構成である。.
新しい！!: 向き付け可能性とベクトル束 · 続きを見る »
クラインの壺
ラインの壺（クラインのつぼ、Klein bottle）は、境界も表裏の区別も持たない（2次元）曲面の一種で、主に位相幾何学で扱われる。 ユークリッド空間に埋め込むには4次元、曲率0とすると5次元が必要である。3次元空間には通常の方法では埋め込み不可能だが、射影して強引に埋め込むと、自己交差する3次元空間内の曲面になる。その形を壺になぞらえたものである。 ドイツの数学者フェリックス・クラインにより考案された。クラインの管、クラインの瓶とも呼ばれる。この通称は英語に翻訳する際の錯誤によるものである。原語であるドイツ語では「Kleinsche Fläche（クラインの面）」であり、これが英語に翻訳される際、Fläche（面）がFlasche（瓶）と取り違えられ、bottleと訳された。現在ではドイツ語圏でも、Kleinsche Flascheのほうで定着している。 クラインの壺は、下図のように矢印を付けた正方形の対辺を矢印の向きが合うように貼り合わせて作ることができる。 Image:Klein Bottle Folding 1.svg Image:Klein Bottle Folding 2.svg Image:Klein Bottle Folding 3.svg Image:Klein Bottle Folding 4.svg Image:Klein Bottle Folding 5.svg Image:Klein Bottle Folding 6.svg 前述のように3次元空間内に実現するためには自己交差が必要であるが、クラインの壺そのものに交差はない。そのことを強調するために自己交差の部分をぼかして図示されることがある。 表裏の区別を持たない2次元曲面には他にメビウスの帯がある。メビウスの帯が2次元のテープ状のものをひねり表をたどっていくとそのまま裏に行き着くようにしたのに対し、クラインの壺は3次元のチューブをひねり内部をたどると外部に行き着くようにしたものである。また二つのメビウスの帯をそのふちに沿って貼り合わせるとクラインの壺ができる（上の図で、ここで示した順序とは逆に、青いほうの辺を先に貼り合わせるとメビウスの帯になる）。.
新しい！!: 向き付け可能性とクラインの壺 · 続きを見る »
クライン体
ライン体（クラインたい、Solid Klein bottle）とは、主に位相幾何学において、クラインの壷を境界として持つ向き付け不可能な閉3次元多様体。.
新しい！!: 向き付け可能性とクライン体 · 続きを見る »
ストークスの定理
トークスの定理（ストークスのていり、Stokes' theorem）は、ベクトル解析の定理のひとつである。3次元ベクトル場の回転を閉曲線を境界とする曲面上で面積分したものが、元のベクトル場を曲面の境界である閉曲線上で線積分したものと一致することを述べるGeorge B. Arfken and Hans J. Weber (2005), chapter.1。定理の名はイギリスの物理学者ジョージ・ガブリエル・ストークスに因むVictor J. Katz (1979)Victor J. Katz (2008), chapter.16。ベクトル解析におけるグリーン・ガウス・ストークスの定理を、より一般的な向きづけられた多様体上に拡張したものも、同様にストークスの定理と呼ばれる。微分積分学の基本定理の、多様体への拡張であるともいえる。.
新しい！!: 向き付け可能性とストークスの定理 · 続きを見る »
スフィア
フィア（sphere）は、英語で球、球体、球面、天体、星、月、範囲などの意味。.
新しい！!: 向き付け可能性とスフィア · 続きを見る »
サーフェス
ー フェス 、サーフェイス、サーフィス（surface、 サーフィス）.
新しい！!: 向き付け可能性とサーフェス · 続きを見る »
球面
球面（きゅうめん）とは球体の表面の意である。数学における球面 (sphere) は、距離の定められた空間の定点からの距離が一定であるような点の軌跡として定義される、非常に高い対称性を示す図形である。球面の囲む有界領域を球体あるいは単に球 (ball) と呼ぶ。一般には三次元ユークリッド空間 E3 内のもの、つまり二次元球面を指す場合が多い。.
新しい！!: 向き付け可能性と球面 · 続きを見る »
特異ホモロジー
数学の一分野である代数トポロジーにおいて、特異ホモロジー (singular homology) とは位相空間 X ののある種の集合、いわゆるホモロジー群 (homology group) H_n(X) の研究のことである。直感的に言えば、特異ホモロジーは、各次元 n に対して、空間の n 次元の穴を数える。特異ホモロジーはホモロジー論の例である。これは今では理論のかなり大きな集まりに成長している。様々な理論の中で、特異ホモロジーはかなり具体的な構成に基づいているのでおそらく理解するのが容易なものの1つである。 手短に言えば、特異ホモロジーは標準 ''n''-単体から位相空間への写像をとり、それらから特異チェイン (singular chain) と呼ばれる形式和を作ることによって構成される。単体上の境界作用素は特異チェイン複体を誘導する。すると特異ホモロジーはそのチェイン複体のホモロジーである。得られるホモロジー群はすべてのホモトピー同値な空間に対して同じであり、これがそれらの研究の理由である。これらの構成はすべての位相空間に対して適用することができるので、特異ホモロジーは圏論の言葉で表現できる。そこではホモロジー群は位相空間の圏から次数付きアーベル群の圏への関手になる。これらのアイデアは以下でもっと詳細に説明される。.
新しい！!: 向き付け可能性と特異ホモロジー · 続きを見る »
行列
数学の線型代数学周辺分野における行列（ぎょうれつ、matrix）は、数や記号や式などを行と列に沿って矩形状に配列したものである。行の数と列の数が同じ行列はが成分ごとの計算によって与えられる。行列の積の計算はもっと複雑で、2 つの行列がかけ合わせられるためには、積の左因子の列の数と右因子の行の数が一致していなければならない。 行列の応用として顕著なものは一次変換の表現である。一次変換は のような一次関数の一般化で、例えば三次元空間におけるベクトルの回転などは一次変換であり、 が回転行列で が空間の点の位置を表す列ベクトル（1 列しかない行列）のとき、積 は回転後の点の位置を表す列ベクトルになる。また 2 つの行列の積は、2 つの一次変換の合成を表現するものとなる。行列の別な応用としては、連立一次方程式の解法におけるものである。行列が正方行列であるならば、そのいくつかの性質は、行列式を計算することによって演繹することができる。例えば、正方行列が正則であるための必要十分条件は、その行列式の値が非零となることである。固有値や固有ベクトルは一次変換の幾何学に対する洞察を与える。行列の応用は科学的な分野の大半に及び、特に物理学において行列は、電気回路、光学、量子力学などの研究に利用される。コンピュータ・グラフィックスでは三次元画像の二次元スクリーンへの投影や realistic-seeming motion を作るのに行列が用いられる。は、古典的な解析学における微分や指数関数の概念を高次元へ一般化するものである。 主要な数値解析の分野は、行列計算の効果的なアルゴリズムの開発を扱っており、主題は何百年にもわたって今日では研究領域も広がっている。行列の分解は、理論的にも実用的にも計算を単純化するもので、アルゴリズムは正方行列や対角行列などといった行列の特定の構造に合わせて仕立てられており、有限要素法やそのほかの計が効率的に処理される。惑星運動論や原子論では無限次行列が現れる。関数のテイラー級数に対して作用する微分の表現行列は、無限次行列の簡単な例である。.
新しい！!: 向き付け可能性と行列 · 続きを見る »
行列式
数学における行列式（ぎょうれつしき、）とは、正方行列に対して定義される量で、歴史的には行列が表す一次方程式の可解性を判定する指標として導入された。幾何的には線型空間またはより一般の有限生成自由加群上の自己準同型に対して定義され、線型変換によって空間の体積要素が何倍に変わるかという概念を抽象化したものと見なすことができる。行列の可逆性を判定する指標として線型代数学における最も重要な指標の一つと見なされている。.
新しい！!: 向き付け可能性と行列式 · 続きを見る »
被覆空間
数学、特に代数トポロジーにおいて、被覆写像(covering map)あるいは被覆射影(covering projection)とは、位相空間 C から X への連続全射 p のうち、 X の各点が p により「均一に被覆される」開近傍をもつものをいう。厳密な定義は追って与える。このとき C を被覆空間(covering space)、X を底空間(base space)と呼ぶ。この定義は、すべての被覆写像は局所同相であることを意味する。 被覆空間はホモトピー論、調和解析、リーマン幾何学、微分幾何学で重要な役割を果たす。たとえば、リーマン幾何学では、分岐は、被覆写像の考え方の一般化である。また、被覆写像はホモトピー群、特に基本群の研究とも深く関係する： X が十分によい位相空間であれば、X の被覆の同値類の集合と 基本群 π1(X) の共役な部分群の類全体との間に全単射が存在する（被覆の分類定理）。 from a topological space, C, to a topological space, X, such that each point in X has an open neighbourhood evenly covered by p (as shown in the image); the precise definition is given below.
新しい！!: 向き付け可能性と被覆空間 · 続きを見る »
部分群の指数
数学、とくに群論において、群 G における部分群 H の指数 (index) は G における H の「相対的な大きさ」である。同じことだが、G を埋め尽くす H の「コピー」（剰余類) の個数である。例えば、H が G において指数 2 をもてば、直感的には G の元の「半分」は H の元である。H の G における指数は通常 |G: H| あるいは あるいは (G:H) で表記される。 正式には、H の G における指数は H の G における剰余類の個数として定義される。（H の G における左剰余類の個数はつねに右剰余類の個数と等しい。）例えば、Z を整数のなす加法群とし、2Z を偶数全体からなる Z の部分群とする。すると 2Z は Z において2つの剰余類（すなわち偶数全体と奇数全体）をもち、したがって 2Z の Z における指数は 2 である。一般化すると、任意の正の整数 n に対して である。 N が G の正規部分群であれば、G における N の指数はまた商群 G / N の位数にも等しい、なぜならばこれは G における N の剰余類の集合における群構造の言葉で定義されるからである。 G が無限であれば、部分群 H の指数は一般には 0 でない基数になる。上の例が示すように、それは有限 - つまり、正の整数 - かもしれない。 G と H が有限群であれば、H の G における指数は 2 つの群の位数の商に等しい： これはラグランジュの定理であり、この場合商は必ず正の整数である。.
新しい！!: 向き付け可能性と部分群の指数 · 続きを見る »
連結空間
位相幾何学や関連する数学の分野において、連結空間（れんけつくうかん、connected space）とは、2つ以上の互いに素な空でない開部分集合の和集合として表すことのできない位相空間のことである。空間の連結性は主要なの1つであり、位相空間の区別をつけることに利用できる。より強い意味での連結性として、弧状連結 (path-connected) という概念があり、これは任意の2点が道によって結べることをいう。 位相空間 X の部分集合が連結であるとは、X の相対位相によってそれ自身を位相空間と見たときに連結であることをいう。 連結でない空間の例は、平面から直線を取り除いたものがある。非連結空間（すなわち連結でない空間）の他の例には、平面からアニュラスを取り除いたものや、2つの交わりを持たない閉円板の和集合がある。ただし、これら3つの例はいずれも、2次元ユークリッド空間から誘導される相対位相を考えている。.
新しい！!: 向き付け可能性と連結空間 · 続きを見る »
接束
微分幾何学において、可微分多様体 の接束（せっそく、tangent bundle, 接バンドル、タンジェントバンドル) は の接空間の非交和である。つまり、.
新しい！!: 向き付け可能性と接束 · 続きを見る »
法線ベクトル
法線ベクトル（ほうせんベクトル、normal vector）は、2次元ではある線に垂直なベクトル、3次元ではある面に垂直なベクトル。法線（ほうせん、normal）はある接線に垂直な線のことである。.
新しい！!: 向き付け可能性と法線ベクトル · 続きを見る »
滑らかな関数
数学において、関数の滑らかさ（なめらかさ、smoothness）は、その関数に対して微分可能性を考えることで測られる。より高い階数の導関数を持つ関数ほど滑らかさの度合いが強いと考えられる。.
新しい！!: 向き付け可能性と滑らかな関数 · 続きを見る »
指標理論
数学，特に群論において，群の表現の指標（しひょう，character）は，群の各元に対応する行列のトレースを対応させる写像である．指標は表現の本質的な情報をより凝縮された形で持っている．ゲオルク・フロベニウスは最初に，指標のみに基づいて，表現の明示的な行列表示は用いずに，を発展させた．これは有限群の複素表現はその指標によって（同型を除いて）決定されるから可能である．正標数の体上の表現，いわゆる「モジュラー表現」の場合には，状況はより繊細であるが，はこの場合にも指標の強力な理論を発展させた．有限群の構造に関する多くの深い定理はモジュラー表現の指標を用いる．.
新しい！!: 向き付け可能性と指標理論 · 続きを見る »
数学
数学（すうがく、μαθηματικά, mathematica, math）は、量（数）、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.
新しい！!: 向き付け可能性と数学 · 続きを見る »
曲面
数学、特に位相幾何学における曲面（きょくめん、surface）は二次元位相多様体である。最もよく知られた曲面の例は、古典的な三次元ユークリッド空間 R3 内の立体の境界として得られる曲面である。例えば、球体の境界としての球面はそのようなものの例になっている。他方でクラインの壷などの、特異点や自己交叉を持つことなしに三次元ユークリッド空間に埋め込み不可能な曲面というものも存在する。 曲面が「二次元」であるというのは、それが二次元の座標系を入れた「座標付きのきれはし」の貼り合せになっているということを指し示している。例えば、「地球の表面」は（理想的には）二次元球面であり、経線と緯線はその球面上の二次元座標系を与えている（ただし、両極を180度子午線で結んだ部分を除く）。.
新しい！!: 向き付け可能性と曲面 · 続きを見る »
時空
時空（じくう、spacetime）は、時間と空間を合わせて表現する物理学の用語、または、時間と空間を同時に、場合によっては相互に関連したものとして扱う概念である。時空間（）とも。.
新しい！!: 向き付け可能性と時空 · 続きを見る »
