共查询到20条相似文献,搜索用时 31 毫秒
1.
设G是n维半单,连通紧Lie群,g是G的Lie代数,T是G的l维极大环群,H为G的Cartan子代数,△~+表示H上全体正根,(,)是g上的伴随表示不变正定内积,d(x,y)是G上的不变Riemann度量,|W|表示G 相似文献
2.
设1∈G是群,1∈A是强G分次环。1在A_1=A_gA_(g-1)(g∈G)中有分解式 命题1 (Clifford定理) 若G有限,V为单左A模。则V是有限生成的半单A_1模。令W是V的单A_1子模,则V的单直因子A_1-同构于W的共轭{A_G(?)W|g∈C},且有A_1同构(e为某自然数) 相似文献
3.
设G是n维半单,连通紧Lie群;g是G的Lie代数;T是G的l维极大环群;Δ~ 是全体正根,正根个数为m;(·,·)是g上的伴随表示下不变的正定内积,于是|X|=(X,X)~(1/2)是g上的范数,从紧Lie群的不变Riemman度量可定义函数f(x)的连续模ω(f,t)以及Lipschitz函数类Lipα,0< 相似文献
4.
令Autg和Adg分别表示实单纯Lie代数g的自同构群和内自同构群.定义拟内自同构群为Ag={θ|θ∈Autg且D∈Adg_c}.本文证明了商群Autg/Ag U,(本文定理1)其中U是令Satake图解不变的一切等距对应所成的群;如果将n维复Lie代数视为2n维实Lie代数,这个结论实际上是Dynkin定理的推广;因为Satake图解只是表示在同构意义下对单纯实型进行分类,可以利用定理1将单纯实型在共轭意义下进行分类. 相似文献
5.
一、引言 我们讨论的图均为简单图,K和α分别表示图的连通度和独立数。我们采用文献[1]的术语和符号,并记G_n~k={G丨G为n阶k-连通图},H_e={G丨G是Hamilton连通图},用P_H(u,v)表示从u到v的Hamilton路。图G中的路P称为控制路,如果G[P(G)\V(P)]均为孤立点.给出图G中的一条(x,y)-路P,总认为是从x到y定向,表示的反向。若u,v∈V(P),则uv表示P上沿从u到v的路。又u≠y,v≠x,则u~+和v~-分 相似文献
6.
7.
本文讨论的图都是无向的简单图。设G是一个图,分别用V(G)和E(G)表示图G的顶点集和边集。又设“、v∈V(G),用d(v)表示v的次数,用vu表示连结u、v的边。 相似文献
8.
设q是一个实半单Lie代数,η是q的一个Caftan子代数。令Aut(q)是q的自同构群,Ad(q)是q的内自同构群。 相似文献
9.
本文所涉及的图都是有限无向简单图。设G是一个图,总用V(G)、E(G)、c(G)分别表示G的顶点集、边集、周长,而令p=|V(G)|。设U(?)(G),总用G[U]表示G中由U导出的子图。如果对于任意U(?)V(G),总有G[U](?)K_(1,3),则称G为无爪图。设λ=min{d(u)+d(v)|u,v∈V(G),uv(?)E(G)},δ=min{d(u)|u∈V(G)},其 相似文献
10.
设G=(V,E)是p阶简单无向图。 若G是2边连通的,设v∈V,若G-v不是2边连通的,则称点,是G的临界点。若G的每一点都是临界点,则称G是临界2边连通图 相似文献
11.
全着色边临界图的全色数 总被引:2,自引:0,他引:2
定义 对于简单图G(V,F),(?)e∈E(G),当 χ_T(G)>△(G)+1, χ_T(G-e)=△(G-e)+1时,则称G为全着色边临界图.其中厶(G)表示G的最大度,χ_T(G)表示G的全色数。 引理1 对图G(V,E)。(?)e∈E(G),若△(G)≥2,则 χ_T(G-e)≤χ_T(G)≤χ_T(G-e)+1。 定理1 若图G(V,E)是全着色边临界图,则 χ_T(G)=△(G)+2。 相似文献
12.
本文将讨论m-k_u×k_s残留图。定义1 图G=(V,E)为简单图,u∈V,集合N~*(u)={v∈V|v与u邻接}U{u}叫做u的闭邻域。定义2 G叫做F残留图,F是指定的图,如果对每一点u∈V(G),G-N~*(u)≌F,(≌表示同构)递归地定义,图G叫做是m-F残留图,如果对 相似文献
13.
设G为一紧李群,A_λ(x)是G的以λ为首权的单值不可约酉表示,d_λ是A_λ(x)的秩,则{Φ_λ(x)=d_λ~(1/2)A_λ(x),λ∈Λ(G)}的矩阵元素全体构成了L~2(G)的完备就范正交系。若G为环群时,熟知的Riem- 相似文献
14.
设G是有限群,π是若干素数组成的集合.若G含有Hallπ-子群,则称G为E_π-群;若G是E_π-群,并且其所有Hallπ-子群均共轭,则称G为C_π-群;若G是C_π-群,并且G的任意π-子群均含在某Hall π-子群,则称G为D_π-群.此外,如果G含有幂零Hallπ-子群,称 G为E_π~n-群.有例子表明:E_π~n-群的子群不必为E_π~n-群,如G=PSL(2,31),π={3,5},这时G为E_π~n-群,但G含有同构于A_5的子群H,而H不是E_π~n-群. 相似文献
15.
变分不等式的并行Schwarz算法 总被引:3,自引:0,他引:3
设Ω为R~d中有界多角形区域,V为Sobo1ev空间H~k(Ω)的子空间,a(·,·)为V×V上连续强制对称双线性型,f∈V。为简单计,设V中元素在Ω上满足齐次边界条件。考虑变分不等式:求u∈K使 a(u,v—u)≥f(v—u), (?)v∈K, (1) 其中 K={v∈V:v≥φ于Ω},φ≤0于(?)Ω, (2) 或者 K={v∈V:φ≤v≤ψ于Ω}, φ≤0≤ψ于(?)Ω, (3) 且φ,ψ∈H~1(Ω)∩C~0(Ω)。 设V~h(?)H_0~1(Ω)是V的有限元逼近且其结点参数值包含在结点的函数值。问题(1),(2)或问题(1),(3)的有限元逼近为:求u_h∈K_h使 相似文献
16.
一、基本概念 令Z表示一个可数集合。v是定义在2~Z上的实值集函数。如果v(φ)=0,称v为Z上的一个对策。为方便起见,记G~Z为Z上所有对策的集合,G~Z也称为Z上的对策空间。 子空间W(?)G~Z称为对称的,如果对于Z上的每一个置换π,由v∈W,可得πv∈W,其 相似文献
17.
18.
设G是阶为v的图且具有完美对集。设n是正整数,满足n≤(v-2)/2.G称为n-可扩的,是说:G中任意n条独立边包含在G的一个完美对集中。 设G是一个图且v∈V(G)。定义N_k(v)={u|u∈V(G)且d(u,v)=k}。设u,v∈V(G)满足d(u,v)=2.记I(u,v)=|N(u)∩N(v)|。定义散度α~*(u,v)如下: n_(u+v)(W)=max{|S||w∈N(u)∩N(v),S是G[{w}∪N_G(w)]中包含u和v的独立集}, 相似文献
19.
若函数f(x)只有简单间断点,则称f是正则的。一个正则函数f,若对[-π,π]到[-π,π]的任一同胚变换g,fog的Fourier级数都处处收敛,则称f∈GW。一个连续函数f,若对任一同胚变换g,fog的Fourier级数都一致收敛,则称f∈UGW。 相似文献
20.
G是一个连通图,SV(G)和u∈V(G),我们记 N(S)={v∈V(G)\S:存在w∈S使得vw∈E(G)}, N(u)={v∈V(G):uv∈E(G)},分别称为S和u点在G中的邻域.进一步,N(u)=N(u)∪{u},u点的闭邻域,和 G(u)=G[N(u)] 相似文献