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

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

Namespace Prefixes

Prefix	IRI
dbpedia-de	http://de.dbpedia.org/resource/
dcterms	http://purl.org/dc/terms/
dbo	http://dbpedia.org/ontology/
foaf	http://xmlns.com/foaf/0.1/
dbpedia-ko	http://ko.dbpedia.org/resource/
n14	https://global.dbpedia.org/id/
dbt	http://dbpedia.org/resource/Template:
rdfs	http://www.w3.org/2000/01/rdf-schema#
freebase	http://rdf.freebase.com/ns/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
owl	http://www.w3.org/2002/07/owl#
dbpedia-zh	http://zh.dbpedia.org/resource/
wikipedia-en	http://en.wikipedia.org/wiki/
n6	https://archive.org/details/
dbp	http://dbpedia.org/property/
prov	http://www.w3.org/ns/prov#
dbc	http://dbpedia.org/resource/Category:
xsdh	http://www.w3.org/2001/XMLSchema#
wikidata	http://www.wikidata.org/entity/
dbr	http://dbpedia.org/resource/
dbpedia-ja	http://ja.dbpedia.org/resource/

Statements

Subject Item

dbr:Weyl_character_formula

rdfs:label

Weyl character formula ワイルの指標公式 바일 지표 공식 Weylsche Charakterformel 外尔特征标公式

rdfs:comment

리 군 표현론에서 바일 지표 공식(Weyl指標公式, 영어: Weyl character formula)은 주어진 복소수 기약 표현의 지표를 제시하는 공식이다. 外尔特徵標公式（Weyl's character formula) 描述緊李羣不可約表示的特徵標。其名來自證明者赫尔曼·外尔。 定義：羣G的表示r的特徵標為一函數 ，，其中Tr 為線性算子之迹。 （由彼得-外尔定理 可知緊李羣的任何不可約表示都是有限維的；故迹之定義為線性代數中之定義。） 特徵標 χ 記住了表示 r 本身的重要訊息。 外尔特徵標公式用羣G的其他資料來表達 χ 。 本文考慮複表示，不失一般亦設其為，因而「不可約」亦等價於「不可分解」（即非二子表示之直和）。 In mathematics, the Weyl character formula in representation theory describes the characters of irreducible representations of compact Lie groups in terms of their highest weights. It was proved by Hermann Weyl . There is a closely related formula for the character of an irreducible representation of a semisimple Lie algebra. In Weyl's approach to the representation theory of connected compact Lie groups, the proof of the character formula is a key step in proving that every dominant integral element actually arises as the highest weight of some irreducible representation. Important consequences of the character formula are the Weyl dimension formula and the Kostant multiplicity formula. 数学において，表現論におけるワイルの指標公式（英: Weyl character formula）はコンパクトリー群の既約表現の指標をのことばで記述する．Hermann Weyl によって証明された． 定義により，G の表現 r の指標は群 G の元 g の関数としての r(g) のトレースである．この場合既約表現はすべて有限次元である（これはの一部である）．よってトレースの概念は線型代数学の通常のものである．r の指標 ξ を知ることは r 自身の良い代替であり，アルゴリズム的内容を持ち得る．ワイルの公式は G から構成される他の対象と G のリー環のことばで ξ をで表す．ここで問題の表現は複素でありしたがって一般性を失うことなくユニタリ表現である；したがって既約は直既約，つまり2つの部分表現の直和でないことと同じ意味である． In der Mathematik ist die Weylsche Charakterformel oder Charakterformel von Weyl eine Formel zur Berechnung des Charakters einer Darstellung aus ihrem höchsten Gewicht. Sie wurde 1926 von Hermann Weyl bewiesen und folgt auch aus dem Atiyah-Bott-Fixpunktsatz.

dcterms:subject

dbc:Representation_theory_of_Lie_groups

dbo:wikiPageID

5011916

dbo:wikiPageRevisionID

1084905278

dbo:wikiPageWikiLink

dbr:Kac–Moody_algebra dbr:Harish-Chandra_character dbr:Compact_Lie_group dbr:Hans_Freudenthal dbr:Weight_(representation_theory) dbr:Casimir_element dbr:Closed_formula dbr:Generalized_Kac–Moody_algebra dbr:Lie_algebra_representation dbr:Admissible_representation dbr:Monster_Lie_algebra dbr:Mathematics dbr:Weyl_group dbr:Cartan_subgroup dbr:Lie_algebra dbr:Cartan_subalgebra dbr:Mathematische_Zeitschrift dbr:Macdonald_identities dbr:Peter–Weyl_theorem dbr:Highest_weight dbr:Analytic_function dbr:Kostant_partition_function dbr:Weyl_integration_formula dbr:Compact_group dbc:Representation_theory_of_Lie_groups dbr:Springer-Verlag dbr:Elliptic_modular_function dbr:Demazure_character_formula dbr:L'Hôpital's_rule dbr:Character_theory dbr:Trace_of_a_matrix dbr:Vandermonde_determinant dbr:Weyl_dimension_formula dbr:Semisimple_Lie_algebra dbr:Jacobi_triple_product dbr:Representation_theory_of_SU(2) dbr:Rebecca_A._Herb dbr:Root_system dbr:Positive_root dbr:Infinitesimal_character dbr:Representation_theory dbr:Reductive_group dbr:Algebraic_character

dbo:wikiPageExternalLink

n6:introductiontoli00jame

owl:sameAs

freebase:m.0czs8f dbpedia-zh:外尔特征标公式 dbpedia-de:Weylsche_Charakterformel n14:4xocu wikidata:Q7990328 dbpedia-ko:바일_지표_공식 dbpedia-ja:ワイルの指標公式

dbp:wikiPageUsesTemplate

dbt:Harvs dbt:Springer dbt:Main dbt:Reflist dbt:Citation dbt:ISBN dbt:Isbn dbt:Short_description

dbp:author

Duncan J. Melville

dbp:first

Hermann

dbp:id

W/w130070

dbp:last

Weyl

dbp:title

Weyl–Kac character formula

dbp:year

1926 1925

dbo:abstract

In der Mathematik ist die Weylsche Charakterformel oder Charakterformel von Weyl eine Formel zur Berechnung des Charakters einer Darstellung aus ihrem höchsten Gewicht. Sie wurde 1926 von Hermann Weyl bewiesen und folgt auch aus dem Atiyah-Bott-Fixpunktsatz. In mathematics, the Weyl character formula in representation theory describes the characters of irreducible representations of compact Lie groups in terms of their highest weights. It was proved by Hermann Weyl . There is a closely related formula for the character of an irreducible representation of a semisimple Lie algebra. In Weyl's approach to the representation theory of connected compact Lie groups, the proof of the character formula is a key step in proving that every dominant integral element actually arises as the highest weight of some irreducible representation. Important consequences of the character formula are the Weyl dimension formula and the Kostant multiplicity formula. By definition, the character of a representation of G is the trace of , as a function of a group element . The irreducible representations in this case are all finite-dimensional (this is part of the Peter–Weyl theorem); so the notion of trace is the usual one from linear algebra. Knowledge of the character of gives a lot of information about itself. Weyl's formula is a closed formula for the character , in terms of other objects constructed from G and its Lie algebra. 리 군 표현론에서 바일 지표 공식(Weyl指標公式, 영어: Weyl character formula)은 주어진 복소수 기약 표현의 지표를 제시하는 공식이다. 外尔特徵標公式（Weyl's character formula) 描述緊李羣不可約表示的特徵標。其名來自證明者赫尔曼·外尔。 定義：羣G的表示r的特徵標為一函數 ，，其中Tr 為線性算子之迹。 （由彼得-外尔定理 可知緊李羣的任何不可約表示都是有限維的；故迹之定義為線性代數中之定義。） 特徵標 χ 記住了表示 r 本身的重要訊息。 外尔特徵標公式用羣G的其他資料來表達 χ 。 本文考慮複表示，不失一般亦設其為，因而「不可約」亦等價於「不可分解」（即非二子表示之直和）。 数学において，表現論におけるワイルの指標公式（英: Weyl character formula）はコンパクトリー群の既約表現の指標をのことばで記述する．Hermann Weyl によって証明された． 定義により，G の表現 r の指標は群 G の元 g の関数としての r(g) のトレースである．この場合既約表現はすべて有限次元である（これはの一部である）．よってトレースの概念は線型代数学の通常のものである．r の指標 ξ を知ることは r 自身の良い代替であり，アルゴリズム的内容を持ち得る．ワイルの公式は G から構成される他の対象と G のリー環のことばで ξ をで表す．ここで問題の表現は複素でありしたがって一般性を失うことなくユニタリ表現である；したがって既約は直既約，つまり2つの部分表現の直和でないことと同じ意味である．

dbp:authorLink

Hermann Weyl

prov:wasDerivedFrom

wikipedia-en:Weyl_character_formula?oldid=1084905278&ns=0

dbo:wikiPageLength

19888

foaf:isPrimaryTopicOf

wikipedia-en:Weyl_character_formula