This HTML5 document contains 48 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
template-enhttp://ja.dbpedia.org/resource/Template:
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-wikidatahttp://wikidata.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n5http://ja.dbpedia.org/resource/Category:
n11http://ja.wikipedia.org/wiki/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpedia-jahttp://ja.dbpedia.org/resource/
prop-enhttp://ja.dbpedia.org/property/

Statements

Subject Item
dbpedia-ja:マンフォードのコンパクト性定理
dbo:wikiPageWikiLink
dbpedia-ja:マーラーのコンパクト性定理
Subject Item
dbpedia-ja:マーラーのコンパクト性定理
rdfs:label
マーラーのコンパクト性定理
rdfs:comment
数学におけるマーラーのコンパクト性定理（マーラーのコンパクトせいていり、英: Mahler's compactness theorem）は、Kurt Mahler によって証明されたユークリッド空間内の格子に関する基本的な結果で、ある意味において「有界」であるような格子の集合を特徴付けるものである。別の見方をすれば、この定理では格子がある列において退化（無限大に向かう）しうる方法について説明されている。直感的に言うと、そのようなことが起こる可能性として次の二つが考えられる：体積よりも大きいを伴って目の粗い（coarse-grained）ものになるか、あるいはより小さいベクトルを含むようになるか、である。この定理はまた、点列コンパクト性（収束部分列を選ぶことが出来る性質）の用語でかつて表現されていたため、コンパクト性定理の名付け方に関する古い慣習に従って、マーラーの選出定理（selection theorem）とも呼ばれている。 X を 内の格子をパラメータ化する空間 で、商位相を伴うものとする。このとき、行列の行列式の絶対値で与えられる well-defined な X 上の函数 Δ が存在する。可逆な整数行列で行列式が 1 あるいは −1 となるものが存在するため、この函数は剰余類の上では定数となる。
owl:sameAs
freebase:m.02z6p4
dct:subject
n5:数論の定理 n5:離散群 n5:数学に関する記事 n5:数学のエポニム
dbo:wikiPageID
3064630
dbo:wikiPageRevisionID
91229031
dbo:wikiPageWikiLink
dbpedia-ja:列_(数学) dbpedia-ja:行列式 dbpedia-ja:商位相 dbpedia-ja:ユークリッド空間 n5:離散群 dbpedia-ja:マンフォードのコンパクト性定理 dbpedia-ja:格子_(数学) n5:数学のエポニム dbpedia-ja:必要十分条件 dbpedia-ja:数学 n5:数論の定理 dbpedia-ja:相対コンパクト dbpedia-ja:点列コンパクト性 n5:数学に関する記事 dbpedia-ja:可逆行列 dbpedia-ja:退化_(数学) dbpedia-ja:剰余類 dbpedia-ja:Well-defined dbpedia-ja:絶対値 dbpedia-ja:有界 dbpedia-ja:半単純リー代数
prop-en:wikiPageUsesTemplate
template-en:Lang-en-short template-en:Citation template-en:仮リンク template-en:Reflist template-en:Harvs
prop-en:first
Kurt
prop-en:last
Mahler
prop-en:year
1946
prop-en:authorlink
:en:Kurt Mahler
dbo:abstract
数学におけるマーラーのコンパクト性定理（マーラーのコンパクトせいていり、英: Mahler's compactness theorem）は、Kurt Mahler によって証明されたユークリッド空間内の格子に関する基本的な結果で、ある意味において「有界」であるような格子の集合を特徴付けるものである。別の見方をすれば、この定理では格子がある列において退化（無限大に向かう）しうる方法について説明されている。直感的に言うと、そのようなことが起こる可能性として次の二つが考えられる：体積よりも大きいを伴って目の粗い（coarse-grained）ものになるか、あるいはより小さいベクトルを含むようになるか、である。この定理はまた、点列コンパクト性（収束部分列を選ぶことが出来る性質）の用語でかつて表現されていたため、コンパクト性定理の名付け方に関する古い慣習に従って、マーラーの選出定理（selection theorem）とも呼ばれている。 X を 内の格子をパラメータ化する空間 で、商位相を伴うものとする。このとき、行列の行列式の絶対値で与えられる well-defined な X 上の函数 Δ が存在する。可逆な整数行列で行列式が 1 あるいは −1 となるものが存在するため、この函数は剰余類の上では定数となる。 マーラーのコンパクト性定理：X のある部分集合 Y が相対コンパクトであるための必要十分条件は、Δ が Y 上有界であり、 内の {0} のある近傍 N で、Y 内のすべての Λ に対して N に含まれる Λ の唯一つの格子点が 0 であるようなものが存在することである。 このマーラーの定理の主張は、任意の固定された よりもが大きいか等しいような 内の単位共容積（unit-covolume）の空間のコンパクト性と同値である。 マーラーのコンパクト性定理は、マンフォードによって半単純リー代数へと一般化された。詳しくはマンフォードのコンパクト性定理を参照されたい。
dbo:wikiPageLength
1860
prov:wasDerivedFrom
n11:マーラーのコンパクト性定理?oldid=91229031&ns=0
foaf:isPrimaryTopicOf
n11:マーラーのコンパクト性定理
Subject Item
dbpedia-ja:格子_(数学)
dbo:wikiPageWikiLink
dbpedia-ja:マーラーのコンパクト性定理
Subject Item
dbpedia-ja:相対コンパクト部分空間
dbo:wikiPageWikiLink
dbpedia-ja:マーラーのコンパクト性定理
Subject Item
dbpedia-wikidata:Q6734194
owl:sameAs
dbpedia-ja:マーラーのコンパクト性定理
Subject Item
n11:マーラーのコンパクト性定理
foaf:primaryTopic
dbpedia-ja:マーラーのコンパクト性定理