ブラウザよりも高速アクセス！
17 関係: 半単純リー代数、同値、マンフォードのコンパクト性定理、ユークリッド空間、列 (数学)、商位相空間、剰余類、絶対値、点列コンパクト空間、相対コンパクト部分空間、行列式、退化 (数学)、Well-defined、格子 (数学)、正則行列、有界、数学。
半単純リー代数
数学においてリー代数が半単純であるとは単純リー代数（自分自身と0以外にイデアルを持たないような非可換リー代数）の直和となる事をいう。 この記事内では特に注意しない限り \mathfrak g を標数0の体上の有限次元リー代数とする。以下の条件は全て同値である。.
新しい！!: マーラーのコンパクト性定理と半単純リー代数 · 続きを見る »
同値
同値（どうち）または等価（とうか）とは、2つの命題が共に真または共に偽のときに真となる論理演算である。 英語ではequivalence (EQ)。「if and only if」を略して、iff ともいう。否定排他的論理和 (XNOR) に等しい。 演算子記号は ⇔、↔、≡、.
新しい！!: マーラーのコンパクト性定理と同値 · 続きを見る »
マンフォードのコンパクト性定理
数学におけるマンフォードのコンパクト性定理（マンフォードのコンパクトせいていり、）とは、「ポアンカレ計量においてある固定された ε > 0 よりも長さが小さい閉測地線を持たない、種数 g > 1 のコンパクトリーマン面の空間はコンパクトである」という定理である。半単純リー代数の離散部分群の集合に関する定理の帰結として によって証明された。マーラーのコンパクト性定理を一般化するものであった。.
新しい！!: マーラーのコンパクト性定理とマンフォードのコンパクト性定理 · 続きを見る »
ユークリッド空間
数学におけるユークリッド空間（ユークリッドくうかん、Euclidean space）は、エウクレイデス（ユークリッド）が研究したような幾何学（ユークリッド幾何学）の場となる平面や空間、およびその高次元への一般化である。エウクレイデスが研究した平面や空間はそれぞれ、2次元ユークリッド空間、3次元ユークリッド空間に当たり、これらは通常、ユークリッド平面、ユークリッド空間などとも呼ばれる。「ユークリッド的」という修飾辞は、これらの空間が非ユークリッド幾何やアインシュタインの相対性理論に出てくるような曲がった空間ではないことを示唆している。 古典的なギリシャ数学では、ユークリッド平面や（三次元）ユークリッド空間は所定の公準によって定義され、そこからほかの性質が定理として演繹されるものであった。現代数学では、デカルト座標と解析幾何学の考え方にしたがってユークリッド空間を定義するほうが普通である。そうすれば、幾何学の問題に代数学や解析学の道具を持ち込んで調べることができるようになるし、三次元以上のユークリッド空間への一般化も容易になるといった利点が生まれる。 現代的な観点では、ユークリッド空間は各次元に本質的に一つだけ存在すると考えられる。たとえば一次元なら実数直線、二次元ならデカルト平面、より高次の場合は実数の組を座標にもつ実座標空間である。つまり、ユークリッド空間の「点」は実数からなる組であり、二点間の距離は二点間の距離の公式に従うものとして定まる。n-次元ユークリッド空間は、（標準的なモデルを与えるものという意味で）しばしば とかかれるが、（余分な構造を想起させない）ユークリッド空間固有の性質を備えたものということを強調する意味で と書かれることもある。ふつう、ユークリッド空間といえば有限次元であるものをいう。.
新しい！!: マーラーのコンパクト性定理とユークリッド空間 · 続きを見る »
列 (数学)
数学において列（れつ、sequence）とは、粗く言えば、対象あるいは事象からなる集まりを「順序だてて並べる」ことで、例えば「Ａ，Ｂ，Ｃ」は３つのものからなる列である。狭義にはこの例のように一列に並べるものを列と呼ぶが、広義にはそうでない場合（すなわち半順序に並べる場合）も列という場合がある（例：有向点列）。集合との違いは順番が決まっている事で、順番を変更したものは別の列であるとみなされる。たとえば列「Ａ，Ｂ，Ｃ」と列「Ｂ，Ｃ，Ａ」は異なる列である。 数を並べた列を数列、（何らかの空間上の）点を並べた列を点列、文字を並べた列を文字列（あるいは語）という。このように同種の性質○○を満たすもののみを並べた場合にはその列を「○○列」という言い方をするが、異なる種類のものを並べた列も許容されている。 列の構成要素は、列の要素あるいは項（こう、term）と呼ばれ、例えば「Ａ，Ｂ，Ｃ」には３つの項がある。項の個数をその列の項数あるいは長さ (length, size) という。項数が有限である列を有限列（ゆうげんれつ、finite sequence）と、そうでないものを無限列（むげんれつ、infinite sequence）と呼ぶ。（例えば正の偶数全体の成す列 (2, 4, 6,...) ）。.
新しい！!: マーラーのコンパクト性定理と列 (数学) · 続きを見る »
商位相空間
位相空間論およびそれに関連する数学の各分野において、等化空間（とうかくうかん、identification space）または商位相空間（しょういそうくうかん、quotient topological space）あるいは単に商空間 (quotient space) とは、直観的には与えられた空間のある種の点の集まりを「貼合せ」("gluing together") あるいは同一視してしまうことによって得られる新しい空間である。ただし、ここで貼合わせられるべき点の集まりというのは、何らかの同値関係によって決定される。 このような商空間構成は、与えられた位相空間から新たな空間を構成する方法の一つとして広く用いられる。.
新しい！!: マーラーのコンパクト性定理と商位相空間 · 続きを見る »
剰余類
数学、特に群論における剰余類（じょうよるい、residue class）あるいは傍系（ぼうけい、coset; コセット）とは、特定の種類の同値関係に関する同値類である。.
新しい！!: マーラーのコンパクト性定理と剰余類 · 続きを見る »
絶対値
数の絶対値は零からの距離と考えられる 数学における実数 の絶対値（ぜったいち、absolute value）または母数（ぼすう、modulus） は、その符号を無視して得られる非負の値を言う。つまり正数 に対して および負数 に対して （このとき は正）であり、また である。例えば の絶対値は であり の絶対値も である。数の絶対値はその数の零からの距離と見なすことができる。 実数の絶対値を一般化する概念は、数学において広範で多様な設定のもとで生じてくる。例えば、絶対値は複素数、四元数、順序環、体などに対しても定義することができる。様々な数学的あるいは物理学的な文脈における (magnitude) や距離およびノルムなどの概念は、絶対値と緊密な関係にある.
新しい！!: マーラーのコンパクト性定理と絶対値 · 続きを見る »
点列コンパクト空間
数学において、位相空間が点列コンパクト（てんれつコンパクト、sequentially compact）であるとは、その空間内の任意の点列が収束する部分列を含むことを言う。一般の位相空間においては点列コンパクト性とコンパクト性とは異なる概念であるが、距離空間に限ればこの二つは同値になる。.
新しい！!: マーラーのコンパクト性定理と点列コンパクト空間 · 続きを見る »
相対コンパクト部分空間
数学の分野における、ある位相空間 X の相対コンパクト部分空間（そうたいコンパクトぶぶんくうかん、）、あるいは相対コンパクト部分集合 Y とは、その閉包がコンパクトであるような部分集合のことである。 コンパクト空間の閉部分集合はコンパクトであるため、コンパクト空間の全ての部分集合は相対コンパクトである。距離位相や、より一般的にコンパクト性を調べるために列が用いられるような場合では、相対コンパクト性の基準は、Y 内の任意の列に X 内に収束する部分列が存在する、というものになる。そのような部分集合もまた相対コンパクトあるいはプレコンパクトなどと呼ばれる。ただし、プレコンパクトという語は全有界な部分集合に対しても用いられる（それらは完備距離空間において同値になる）。 いくつかの主要な定理が、特に関数空間における相対コンパクト部分集合を扱っている。そのような例の一つとして、アルツェラ-アスコリの定理が挙げられる。その他の興味深いケースでは、一様可積性や、複素解析におけるの概念との関連が述べられている。の分野におけるマーラーのコンパクト性定理では、ある非コンパクトな等質空間（特に格子の空間）における相対コンパクト部分集合の特徴付けが行われている。 ある概周期函数の概念的な段階での定義では、F がある相対コンパクトな集合へ変換される必要がある。この作業は、ある特別な理論における位相の使用に関して、厳密性を確保するために必要となる。 コンパクトであるが相対コンパクトでない例として、ある無限の特定の点の任意の近傍を取ることが考えられる。その近傍それ自身はコンパクトでありうるが、その閉包が非コンパクトな空間全体であるため、相対コンパクトではない。.
新しい！!: マーラーのコンパクト性定理と相対コンパクト部分空間 · 続きを見る »
行列式
数学における行列式（ぎょうれつしき、）とは、正方行列に対して定義される量で、歴史的には行列が表す一次方程式の可解性を判定する指標として導入された。幾何的には線型空間またはより一般の有限生成自由加群上の自己準同型に対して定義され、線型変換によって空間の体積要素が何倍に変わるかという概念を抽象化したものと見なすことができる。行列の可逆性を判定する指標として線型代数学における最も重要な指標の一つと見なされている。.
新しい！!: マーラーのコンパクト性定理と行列式 · 続きを見る »
退化 (数学)
数学において退化（たいか）しているという言葉は、ある種類の対象の性質が変わり、他の（ふつうはより単純な）種類の対象になっている場合に用いられる。.
新しい！!: マーラーのコンパクト性定理と退化 (数学) · 続きを見る »
Well-defined
数学における は、ある概念が数学的あるいは論理学的に特定の条件を公理に用いて定義・導入されるとき、その定義（における公理の組）が自己矛盾をその中に含み持たぬ状態にあることを言い表す修飾語句である。また、ある概念の定義をする場合、そう決めることによって、何も論理的な矛盾なく上手くいくということ（定義の整合性）が確認されているということを言い表す言葉である。文脈により、「うまく定義されている」「矛盾なく定まった」「定義可能である」などと表現されることもある。 でないことは、 であることとは異なる。 は「状態」を表す形容詞であるが、日本語の定訳はなく慣例的に形容詞と動詞の複合語に訳されるか、そのまま形容動詞的に「 である」といった形で用いる。名詞形 などもあり、これを 性と記すことはできるが日本語訳としてこなれたものは特には存在しない（文脈によっては「定義可能性」などで代用可能である）。.
新しい！!: マーラーのコンパクト性定理とWell-defined · 続きを見る »
格子 (数学)
数学における、特に初等幾何学および群論における、n-次元空間 Rn 内の格子（こうし、lattice）とは、実ベクトル空間 Rn を生成するような Rn の離散部分群をいう。すなわち、Rn の任意の格子は、ベクトル空間としての基底から、その整数係数線型結合の全体として得られる。ひとつの格子は、その基本領域あるいはによる正多面体空間充填 (regular tiling) と見ることもできる。 格子には多くの顕著な応用があり、純粋数学では特にリー環論、数論および群論に関係がある。応用数学でいえば、まず暗号理論において、いくつかの格子問題の計算が困難であることに起因する符号理論に関連する。また、物理科学においてもいくつかのやり方で応用があり、例えば物質科学および固体物理学では、「格子」は結晶構造の「枠組み」の同義語であり、結晶において原子や分子が隣接して占める正多面体状の三次元的な空間配列を意味する。より一般に、物理学において格子モデルが（しばしば計算物理の手法を用いて）研究される。.
新しい！!: マーラーのコンパクト性定理と格子 (数学) · 続きを見る »
正則行列
正則行列（せいそくぎょうれつ、regular matrix）、非特異行列（ひとくいぎょうれつ、non-singular matrix）あるいは可逆行列（かぎゃくぎょうれつ、invertible matrix）とは行列の通常の積に関する逆元を持つ正方行列のこと、言い換えると逆行列が存在する行列のことである。 ある体上の同じサイズの正則行列の全体は一般線型群と呼ばれる群を成す。多項式の根として定められる部分群はあるいは行列群と呼ばれる代数群の一種で、その表現論が代数的整数論などに広い応用を持つ幾何学的対象である。.
新しい！!: マーラーのコンパクト性定理と正則行列 · 続きを見る »
有界
上が有界集合、下が非有界集合を模式的に表したもの。ただし、下のほうは枠を超えて右方へ延々と続くものとする。 数学において集合が有界（ゆうかい、bounded）である、または有界集合（ゆうかいしゅうごう、bounded set）であるとは、ある種の「差渡しの大きさ」に関する有限性をそれが持つときにいう。有界でない集合は非有界（ひゆうかい、unbounded）であるという。 単純閉曲線はそれを境界として平面 '''R'''2 を有界（内側）および非有界（外側）な二つの領域に分ける。.
新しい！!: マーラーのコンパクト性定理と有界 · 続きを見る »
数学
数学（すうがく、μαθηματικά, mathematica, math）は、量（数）、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.
新しい！!: マーラーのコンパクト性定理と数学 · 続きを見る »
