汎函数行列式
函数空間 V からそれ自身への線型写像を "S" とすると、行列式の無限次元への一般化が可能なことがしばしばある。この量 det("S") を "S" の 汎函数行列式 ()と言う。

汎函数行列式の公式がいくつかあり、それらは皆、対角化可能な有限次元の行列に対しては行列式が固有値の積に等しいという事実を基礎としている。数学的には、作用素のゼータ函数を通して厳密に定義される。
:formula_1
ここに tr は汎函数のトレースを意味し、従って汎函数行列式は、
:formula_2
で定義される。ここに "s" = 0 でのゼータ函数は解析接続により定義される。別な一般化された方法も可能であり、物理学者が量子場理論でファインマンの経路積分の定式化に用いる、の方法がある。
:formula_3
この経路積分は、ある発散する乗数因子の差を除いたときのみ、うまく定義できる。この厳密な意味を与えるために、他の汎函数行列式で割る必要があり、見せかけの定数の打ち消しがなされる。

現在は、これらが表現上は2つの異なる汎函数行列式で、一方は量子場理論に由来を持つもので、他方はスペクトル理論に由来を持つものである。どちらも正規化の一種で、物理で普通に行われる定義は、2つの行列式を単に比較することができるということを意味しているが、数学ではゼータ函数が使われる。 は、量子場理論で定式化された2つの汎函数行列式が、ゼータ函数正規化によって得られた結果に一致するということを示した。
Q934367
函数空間
Concept
Q207643
線型写像
Concept
Q178546
行列式
Concept
Q11315066
作用素のゼータ函数
UNK
Q485287
解析接続
Concept
Q54505
量子場理論
Concept
Q898323
ファインマンの経路積分
Concept
Q2409122
スペクトル理論
Concept
Q2947601
汎函数行列式
Concept
Q2947601
汎函数行列式
Concept
Q2947601
汎函数行列式
Concept
Q2947601
汎函数行列式
Concept
Q2947601
汎函数行列式
Concept
Q2947601
汎函数行列式
Concept
2020-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1
DATE
2020-02-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
2
DATE
2020-03-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
3
DATE
2020-02-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
2
DATE
2020-02-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
2
DATE
2020-02-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
2
DATE
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
+2^^http://www.w3.org/2001/XMLSchema#decimal
2
NUMBER
+3^^http://www.w3.org/2001/XMLSchema#decimal
3
NUMBER
+2^^http://www.w3.org/2001/XMLSchema#decimal
2
NUMBER
+2^^http://www.w3.org/2001/XMLSchema#decimal
2
NUMBER
+2^^http://www.w3.org/2001/XMLSchema#decimal
2
NUMBER
subclass of
subclass of
subclass of
subclass of
subclass of
subclass of