词条 里斯表示定理

里斯表示定理

在泛函分析中有多个有名的定理冠以里斯表示定理Riesz representation theorem),它们是为了纪念匈牙利数学家弗里杰什·里斯。

里斯表示定理相关文献
定理
各种数学叙述(按重要性来排列)引理(又称辅助定理,补理)-某个定理的证明的一部分的叙述。它并非主要的结果。引理的证明有时还比定理长,例如舒尔引理。推论-一个从定理随之而即时出现的叙述。若命题B可以很快、简单地推导出命题A,命题A为命题B的推论。命题定理数学原理结构定理一般都有许多条件。然后有结论——一个在条件下成立的数学叙述。通常写作“若条件,则结论”。用符号逻辑来写就是条件→结论。而当中的证明不视为定理的成分。逆定理若存在某叙述为A→B,其逆叙述就是B→A。逆叙述成立的情况是A←→B,否则通常都是倒果为因,不合常理。若果叙述是定理,其成立的逆叙述就是逆定理。若某叙述和其逆叙述都为真,条件必要且充足。若某叙述为真,其逆叙述为假,条件充足。若某叙述为假,其逆叙述为真,条件必要。逻辑中的定理命题集合的可计算性问题(Calculabilite)我们可以通过可计算性(Calculabilite)这...
查看全文
群表示论
基本定义表示理论早期是藉矩阵的语言描述的,具体定义如下:如果任何非零方阵的集合的乘法关系和给定群的乘法关系相同,则这个矩阵集合形成群的一个表示,这套矩阵的阶称为表示的维数。如果两个同维表示的矩阵以同一相似变换相关联,则称这两个表示是等价的。如果任何维数大于一的表示的所有矩阵都可以用相同的相似变换转换为相同的块对角矩阵结构,则称此表示为可约表示,反之称为不可约表示。形式地说,一个群G{\displaystyleG}的表示乃一同态ρρ-->:G→→-->GL(V){\displaystyle\rho:G\rightarrow\mathrm{GL}(V)},其中V{\displaystyleV}为给定的有限维向量空间,系数布于一个域F{\displaystyleF},通常取F=C{\displaystyleF=\mathbb{C}},但在一般域有限域部域或有限域)上的表示也有重要应用。GL(V)...
查看全文
表示论
定义和概念设V{displaystyleV}为域F{displaystyleF}上的向量空间。例如,设V{displaystyleV}为Rn{displaystylemathbb{R}^{n
查看全文
表示式
参见表示式(程式)代数闭包组合子逻辑函数式编程方程不等
查看全文
里斯表示定理
希尔伯特空间表示定理这个定理建立了希尔伯特空间与它的连续对偶空间的一个重要联系:如果底域是实数,两者是等距同构;如果域是复数,两者是等距反同构。如下所述,(反)同构是特别自然的。设H{display
查看全文
里斯表示定理相关标签
泛函分析
数学定理
对偶理论
家族谱大览
刘氏七修族谱 [6卷,含卷首]
原书: [出版地不详 : 出版者不详], 1996年修. 20册 : 插图, 世系表, 地图, 人像. 收藏所 : 太原市寻源姓氏文化研究中心. 注 : 此谱之卷2, 3, 5, 6各含3册. 卷4含5册. 卷首含4册. 注 : 缺卷3之第2册. 远祖 : 源明公,字流清. 尧帝第九子. 居山西阳府洪洞县. 受姓祖(18世) : 刘累,字华美. 聚义公长子. 原姓伊耆,赐姓刘,以封邑为姓. 始祖(一世) : (唐) 刘宗臣,讳韶公,字正朝,号石坡. 居虔化. 派祖(15世) : (宋) 刘权一,讳达百,号享千(由瑞金徙安远) ; 刘权二. 房祖(18世) : 刘宗五 ; 刘宗九. 皆为汝明公之子,亨四公之孙. 宗五房下支祖(28世) : (清) 刘定理,字振玉 ; 刘定珩,字国玉 ; 刘定球,字琼芳 ; 刘定珍,字瑞珠. 皆为正基公之子. 宗九房下支祖(21世) : (明) 刘瑚 ; 刘琏. 瑚公下三子 : (明) 刘超荣,字务才 ; 刘利荣,字务本 ; 刘务勋,字洪荣(由安远徙雩都). 琏公下迁雩祖 : (明) 刘福荣,字双峰. 琏公第三子. 双峰公下三子 : (明) 刘友邦,字月塘 ; 刘友郡,字石崖 ; 刘友都,字后竹. 友邦公下二子 : (明清之际) 刘胜柏,字青所 ; 刘胜梅,字翠所. 权二派下房祖(25世) : 刘庆明,字东光. 胜洪公之子. 字派 : 汉家永宗世 仁义肇洪规 历代颂先德 垂裕增光辉 法则今犹在 率乃祖留遗 箕裘诚克绍 伦常著庭闱 贤才书香种 忠良福泽基 勤俭事业本 经济文武推 聪听古彝训 攸往具咸宜 典言慎厥守 继前佳章为 崇恩毓俊杰 国泰呈祥瑞. 散居地 : 江西省雩都县, 安远县等地. 书名据版心题, 及书名页题编目. 书衣题 : 彭城郡雩阳濂泉刘氏族谱.
浏览:0
刘氏七修族谱 [6卷,含卷首]
原书: [出版地不详 : 出版者不详], 1996年修. 20册 : 插图, 世系表, 地图, 人像. 收藏所 : 太原市寻源姓氏文化研究中心. 注 : 此谱之卷2, 3, 5, 6各含3册. 卷4含5册. 卷首含4册. 注 : 缺卷3之第2册. 远祖 : 源明公,字流清. 尧帝第九子. 居山西阳府洪洞县. 受姓祖(18世) : 刘累,字华美. 聚义公长子. 原姓伊耆,赐姓刘,以封邑为姓. 始祖(一世) : (唐) 刘宗臣,讳韶公,字正朝,号石坡. 居虔化. 派祖(15世) : (宋) 刘权一,讳达百,号享千(由瑞金徙安远) ; 刘权二. 房祖(18世) : 刘宗五 ; 刘宗九. 皆为汝明公之子,亨四公之孙. 宗五房下支祖(28世) : (清) 刘定理,字振玉 ; 刘定珩,字国玉 ; 刘定球,字琼芳 ; 刘定珍,字瑞珠. 皆为正基公之子. 宗九房下支祖(21世) : (明) 刘瑚 ; 刘琏. 瑚公下三子 : (明) 刘超荣,字务才 ; 刘利荣,字务本 ; 刘务勋,字洪荣(由安远徙雩都). 琏公下迁雩祖 : (明) 刘福荣,字双峰. 琏公第三子. 双峰公下三子 : (明) 刘友邦,字月塘 ; 刘友郡,字石崖 ; 刘友都,字后竹. 友邦公下二子 : (明清之际) 刘胜柏,字青所 ; 刘胜梅,字翠所. 权二派下房祖(25世) : 刘庆明,字东光. 胜洪公之子. 字派 : 汉家永宗世 仁义肇洪规 历代颂先德 垂裕增光辉 法则今犹在 率乃祖留遗 箕裘诚克绍 伦常著庭闱 贤才书香种 忠良福泽基 勤俭事业本 经济文武推 聪听古彝训 攸往具咸宜 典言慎厥守 继前佳章为 崇恩毓俊杰 国泰呈祥瑞. 散居地 : 江西省雩都县, 安远县等地. 书名据版心题, 及书名页题编目. 书衣题 : 彭城郡雩阳濂泉刘氏族谱.
浏览:0
刘氏七修族谱 [6卷,含卷首]
原书: [出版地不详 : 出版者不详], 1996年修. 20册 : 插图, 世系表, 地图, 人像. 收藏所 : 太原市寻源姓氏文化研究中心. 注 : 此谱之卷2, 3, 5, 6各含3册. 卷4含5册. 卷首含4册. 注 : 缺卷3之第2册. 远祖 : 源明公,字流清. 尧帝第九子. 居山西阳府洪洞县. 受姓祖(18世) : 刘累,字华美. 聚义公长子. 原姓伊耆,赐姓刘,以封邑为姓. 始祖(一世) : (唐) 刘宗臣,讳韶公,字正朝,号石坡. 居虔化. 派祖(15世) : (宋) 刘权一,讳达百,号享千(由瑞金徙安远) ; 刘权二. 房祖(18世) : 刘宗五 ; 刘宗九. 皆为汝明公之子,亨四公之孙. 宗五房下支祖(28世) : (清) 刘定理,字振玉 ; 刘定珩,字国玉 ; 刘定球,字琼芳 ; 刘定珍,字瑞珠. 皆为正基公之子. 宗九房下支祖(21世) : (明) 刘瑚 ; 刘琏. 瑚公下三子 : (明) 刘超荣,字务才 ; 刘利荣,字务本 ; 刘务勋,字洪荣(由安远徙雩都). 琏公下迁雩祖 : (明) 刘福荣,字双峰. 琏公第三子. 双峰公下三子 : (明) 刘友邦,字月塘 ; 刘友郡,字石崖 ; 刘友都,字后竹. 友邦公下二子 : (明清之际) 刘胜柏,字青所 ; 刘胜梅,字翠所. 权二派下房祖(25世) : 刘庆明,字东光. 胜洪公之子. 字派 : 汉家永宗世 仁义肇洪规 历代颂先德 垂裕增光辉 法则今犹在 率乃祖留遗 箕裘诚克绍 伦常著庭闱 贤才书香种 忠良福泽基 勤俭事业本 经济文武推 聪听古彝训 攸往具咸宜 典言慎厥守 继前佳章为 崇恩毓俊杰 国泰呈祥瑞. 散居地 : 江西省雩都县, 安远县等地. 书名据版心题, 及书名页题编目. 书衣题 : 彭城郡雩阳濂泉刘氏族谱.
浏览:0
刘氏七修族谱 [6卷,含卷首]
原书: [出版地不详 : 出版者不详], 1996年修. 20册 : 插图, 世系表, 地图, 人像. 收藏所 : 太原市寻源姓氏文化研究中心. 注 : 此谱之卷2, 3, 5, 6各含3册. 卷4含5册. 卷首含4册. 注 : 缺卷3之第2册. 远祖 : 源明公,字流清. 尧帝第九子. 居山西阳府洪洞县. 受姓祖(18世) : 刘累,字华美. 聚义公长子. 原姓伊耆,赐姓刘,以封邑为姓. 始祖(一世) : (唐) 刘宗臣,讳韶公,字正朝,号石坡. 居虔化. 派祖(15世) : (宋) 刘权一,讳达百,号享千(由瑞金徙安远) ; 刘权二. 房祖(18世) : 刘宗五 ; 刘宗九. 皆为汝明公之子,亨四公之孙. 宗五房下支祖(28世) : (清) 刘定理,字振玉 ; 刘定珩,字国玉 ; 刘定球,字琼芳 ; 刘定珍,字瑞珠. 皆为正基公之子. 宗九房下支祖(21世) : (明) 刘瑚 ; 刘琏. 瑚公下三子 : (明) 刘超荣,字务才 ; 刘利荣,字务本 ; 刘务勋,字洪荣(由安远徙雩都). 琏公下迁雩祖 : (明) 刘福荣,字双峰. 琏公第三子. 双峰公下三子 : (明) 刘友邦,字月塘 ; 刘友郡,字石崖 ; 刘友都,字后竹. 友邦公下二子 : (明清之际) 刘胜柏,字青所 ; 刘胜梅,字翠所. 权二派下房祖(25世) : 刘庆明,字东光. 胜洪公之子. 字派 : 汉家永宗世 仁义肇洪规 历代颂先德 垂裕增光辉 法则今犹在 率乃祖留遗 箕裘诚克绍 伦常著庭闱 贤才书香种 忠良福泽基 勤俭事业本 经济文武推 聪听古彝训 攸往具咸宜 典言慎厥守 继前佳章为 崇恩毓俊杰 国泰呈祥瑞. 散居地 : 江西省雩都县, 安远县等地. 书名据版心题, 及书名页题编目. 书衣题 : 彭城郡雩阳濂泉刘氏族谱.
浏览:0
刘氏七修族谱 [6卷,含卷首]
原书: [出版地不详 : 出版者不详], 1996年修. 20册 : 插图, 世系表, 地图, 人像. 收藏所 : 太原市寻源姓氏文化研究中心. 注 : 此谱之卷2, 3, 5, 6各含3册. 卷4含5册. 卷首含4册. 注 : 缺卷3之第2册. 远祖 : 源明公,字流清. 尧帝第九子. 居山西阳府洪洞县. 受姓祖(18世) : 刘累,字华美. 聚义公长子. 原姓伊耆,赐姓刘,以封邑为姓. 始祖(一世) : (唐) 刘宗臣,讳韶公,字正朝,号石坡. 居虔化. 派祖(15世) : (宋) 刘权一,讳达百,号享千(由瑞金徙安远) ; 刘权二. 房祖(18世) : 刘宗五 ; 刘宗九. 皆为汝明公之子,亨四公之孙. 宗五房下支祖(28世) : (清) 刘定理,字振玉 ; 刘定珩,字国玉 ; 刘定球,字琼芳 ; 刘定珍,字瑞珠. 皆为正基公之子. 宗九房下支祖(21世) : (明) 刘瑚 ; 刘琏. 瑚公下三子 : (明) 刘超荣,字务才 ; 刘利荣,字务本 ; 刘务勋,字洪荣(由安远徙雩都). 琏公下迁雩祖 : (明) 刘福荣,字双峰. 琏公第三子. 双峰公下三子 : (明) 刘友邦,字月塘 ; 刘友郡,字石崖 ; 刘友都,字后竹. 友邦公下二子 : (明清之际) 刘胜柏,字青所 ; 刘胜梅,字翠所. 权二派下房祖(25世) : 刘庆明,字东光. 胜洪公之子. 字派 : 汉家永宗世 仁义肇洪规 历代颂先德 垂裕增光辉 法则今犹在 率乃祖留遗 箕裘诚克绍 伦常著庭闱 贤才书香种 忠良福泽基 勤俭事业本 经济文武推 聪听古彝训 攸往具咸宜 典言慎厥守 继前佳章为 崇恩毓俊杰 国泰呈祥瑞. 散居地 : 江西省雩都县, 安远县等地. 书名据版心题, 及书名页题编目. 书衣题 : 彭城郡雩阳濂泉刘氏族谱.
浏览:0
刘氏七修族谱 [6卷,含卷首]
原书: [出版地不详 : 出版者不详], 1996年修. 20册 : 插图, 世系表, 地图, 人像. 收藏所 : 太原市寻源姓氏文化研究中心. 注 : 此谱之卷2, 3, 5, 6各含3册. 卷4含5册. 卷首含4册. 注 : 缺卷3之第2册. 远祖 : 源明公,字流清. 尧帝第九子. 居山西阳府洪洞县. 受姓祖(18世) : 刘累,字华美. 聚义公长子. 原姓伊耆,赐姓刘,以封邑为姓. 始祖(一世) : (唐) 刘宗臣,讳韶公,字正朝,号石坡. 居虔化. 派祖(15世) : (宋) 刘权一,讳达百,号享千(由瑞金徙安远) ; 刘权二. 房祖(18世) : 刘宗五 ; 刘宗九. 皆为汝明公之子,亨四公之孙. 宗五房下支祖(28世) : (清) 刘定理,字振玉 ; 刘定珩,字国玉 ; 刘定球,字琼芳 ; 刘定珍,字瑞珠. 皆为正基公之子. 宗九房下支祖(21世) : (明) 刘瑚 ; 刘琏. 瑚公下三子 : (明) 刘超荣,字务才 ; 刘利荣,字务本 ; 刘务勋,字洪荣(由安远徙雩都). 琏公下迁雩祖 : (明) 刘福荣,字双峰. 琏公第三子. 双峰公下三子 : (明) 刘友邦,字月塘 ; 刘友郡,字石崖 ; 刘友都,字后竹. 友邦公下二子 : (明清之际) 刘胜柏,字青所 ; 刘胜梅,字翠所. 权二派下房祖(25世) : 刘庆明,字东光. 胜洪公之子. 字派 : 汉家永宗世 仁义肇洪规 历代颂先德 垂裕增光辉 法则今犹在 率乃祖留遗 箕裘诚克绍 伦常著庭闱 贤才书香种 忠良福泽基 勤俭事业本 经济文武推 聪听古彝训 攸往具咸宜 典言慎厥守 继前佳章为 崇恩毓俊杰 国泰呈祥瑞. 散居地 : 江西省雩都县, 安远县等地. 书名据版心题, 及书名页题编目. 书衣题 : 彭城郡雩阳濂泉刘氏族谱.
浏览:0