This HTML5 document contains 64 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/
n4http://commons.wikimedia.org/wiki/Special:FilePath/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n6http://ja.dbpedia.org/resource/Category:
n13http://ja.wikipedia.org/wiki/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
n16http://ja.dbpedia.org/resource/ファイル:
dbpedia-jahttp://ja.dbpedia.org/resource/
prop-enhttp://ja.dbpedia.org/property/

Statements

Subject Item
dbpedia-wikidata:Q2947601
owl:sameAs
dbpedia-ja:汎函数行列式
Subject Item
dbpedia-ja:ゼータ函数_(作用素)
dbo:wikiPageWikiLink
dbpedia-ja:汎函数行列式
Subject Item
dbpedia-ja:汎函数行列式
rdfs:label
汎函数行列式
rdfs:comment
函数空間 V からそれ自身への線型写像を S とすると、行列式の無限次元への一般化が可能なことがしばしばある。この量 det(S) を S の 汎函数行列式 (英: functional determinant)と言う。 汎函数行列式の公式がいくつかあり、それらは皆、対角化可能な有限次元の行列に対しては行列式が固有値の積に等しいという事実を基礎としている。数学的には、作用素のゼータ函数を通して厳密に定義される。 ここに tr は汎函数のトレースを意味し、従って汎函数行列式は、 で定義される。ここに s = 0 でのゼータ函数は解析接続により定義される。別な一般化された方法も可能であり、物理学者が量子場理論でファインマンの経路積分の定式化に用いる、の方法がある。 この経路積分は、ある発散する乗数因子の差を除いたときのみ、うまく定義できる。この厳密な意味を与えるために、他の汎函数行列式で割る必要があり、見せかけの定数の打ち消しがなされる。
owl:sameAs
freebase:m.07y_gj
dct:subject
n6:数学に関する記事 n6:行列式 n6:関数解析学
dbo:wikiPageID
2709876
dbo:wikiPageRevisionID
83725450
dbo:wikiPageWikiLink
dbpedia-ja:微分作用素 dbpedia-ja:固有値 dbpedia-ja:三角函数 dbpedia-ja:双曲線函数 n6:関数解析学 dbpedia-ja:ミナクシサンドラム-プレイジェルゼータ函数 dbpedia-ja:完全系 dbpedia-ja:Springer-Verlag dbpedia-ja:経路積分 dbpedia-ja:量子力学 dbpedia-ja:リーマンゼータ函数 dbpedia-ja:調和振動子 dbpedia-ja:自乗可積分函数 dbpedia-ja:函数空間 dbpedia-ja:固有函数 dbpedia-ja:複素数 dbpedia-ja:井戸型ポテンシャル dbpedia-ja:有理型函数 dbpedia-ja:Acta_Mathematica dbpedia-ja:量子場理論 dbpedia-ja:スペクトル理論 dbpedia-ja:線型結合 n6:行列式 dbpedia-ja:American_Mathematical_Society dbpedia-ja:行列式 dbpedia-ja:発散級数 n16:Infinite_potential_well.svg dbpedia-ja:ラプラス作用素 dbpedia-ja:リーマン多様体 n6:数学に関する記事 dbpedia-ja:リウヴィルの定理_(解析学) dbpedia-ja:解析接続 dbpedia-ja:レオンハルト・オイラー dbpedia-ja:正規 dbpedia-ja:線型写像 dbpedia-ja:ガウス積分 dbpedia-ja:自己共役作用素 dbpedia-ja:スペクトル dbpedia-ja:ゼータ函数_(作用素) dbpedia-ja:ゼータ函数正規化
prop-en:wikiPageUsesTemplate
template-en:Citation template-en:仮リンク template-en:Harvtxt template-en:Lang-en-short template-en:要改訳
foaf:depiction
n4:Infinite_potential_well.svg
dbo:thumbnail
n4:Infinite_potential_well.svg?width=300
dbo:abstract
函数空間 V からそれ自身への線型写像を S とすると、行列式の無限次元への一般化が可能なことがしばしばある。この量 det(S) を S の 汎函数行列式 (英: functional determinant)と言う。 汎函数行列式の公式がいくつかあり、それらは皆、対角化可能な有限次元の行列に対しては行列式が固有値の積に等しいという事実を基礎としている。数学的には、作用素のゼータ函数を通して厳密に定義される。 ここに tr は汎函数のトレースを意味し、従って汎函数行列式は、 で定義される。ここに s = 0 でのゼータ函数は解析接続により定義される。別な一般化された方法も可能であり、物理学者が量子場理論でファインマンの経路積分の定式化に用いる、の方法がある。 この経路積分は、ある発散する乗数因子の差を除いたときのみ、うまく定義できる。この厳密な意味を与えるために、他の汎函数行列式で割る必要があり、見せかけの定数の打ち消しがなされる。 現在は、これらが表現上は2つの異なる汎函数行列式で、一方は量子場理論に由来を持つもので、他方はスペクトル理論に由来を持つものである。どちらも正規化の一種で、物理で普通に行われる定義は、2つの行列式を単に比較することができるということを意味しているが、数学ではゼータ函数が使われる。 は、量子場理論で定式化された2つの汎函数行列式が、ゼータ函数正規化によって得られた結果に一致するということを示した。
dbo:wikiPageLength
10569
prov:wasDerivedFrom
n13:汎函数行列式?oldid=83725450&ns=0
foaf:isPrimaryTopicOf
n13:汎函数行列式
Subject Item
dbpedia-ja:作用素の判別式
dbo:wikiPageWikiLink
dbpedia-ja:汎函数行列式
dbo:wikiPageRedirects
dbpedia-ja:汎函数行列式
Subject Item
n13:汎函数行列式
foaf:primaryTopic
dbpedia-ja:汎函数行列式