狄利克雷空间论(theory of Dirichlet space)是受BLD函数组成的希尔伯特空间论的启发，在狄利克雷空间上建立的一种公理位势论。

狄利克雷（1805～1859）　Dirichlet，Peter Gustav Lejeune　德国数学家。对数论、数学分析和数学物理有突出贡献，是解析数论的创始人之一。1805年2月13日生于迪伦，1859年5月5日卒于格丁根。中学时曾受教于物理学家G.S.欧姆；1822～1826年在巴黎求学，深受J.-B.-J.傅里叶的影响 。回国后先后在布雷斯劳大学、柏林军事学院和柏林大学任教27年，对德国数学发展产生巨大影响。1839年任柏林大学教授，1855年接任C.F.高斯在哥廷根大学的教授职位。

在分析学方面，他是最早倡导严格化方法的数学家之一。1837年他提出函数是x与y之间的一种对应关系的现代观点。

在数论方面，他是高斯思想的传播者和拓广者。1836年狄利克雷撰写了《数论讲义》，对高斯划时代的著作《算术研究》作了明晰的解释并有创见，使高斯的思想得以广泛传播。1837年，他构造了狄利克雷级数。1838～1839年，他得到确定二次型 类数的公式。1846年，使用抽屉原理。阐明代数数域中单位数的阿贝尔群的结构。

在数学物理方面，他对椭球体产生的引力、球在不可压缩流体中的运动、由太阳系稳定性导出的一般稳定性等课题都有重要论著。1850年发表了有关位势理论的文章，论及著名的第一边界值问题，现称狄利克雷问题。

在拓扑学和相关的数学分支中，豪斯多夫空间、分离空间或T2 空间是其中的点都“由邻域分离”的拓扑空间。在众多可施加在拓扑空间上的分离公理中，“豪斯多夫条件”是最常使用和讨论的。它蕴涵了序列、网和滤子的极限的唯一性。豪斯多夫得名于拓扑学的创立者之一费利克斯·豪斯多夫。豪斯多夫最初的拓扑空间定义把豪斯多夫条件包括为公理。

假设 X 是拓扑空间。设 x 和 y 是 X 中的点。我们称 x 和 y 可以“由邻域分离”，如果存在 x 的邻域 U 和 y 的邻域 V 使得 U 和 V 是不相交的 (U ∩ V = ∅)。X 是豪斯多夫空间如果任何两个X 的独特的点可以由邻域分离。这时的豪斯多夫空间也叫做 T2 空间和分离空间的原因。

X 是预正则空间，如果任何两个拓扑可区分的点可以由邻域分离。预正则空间也叫做 R1 空间。

在这些条件之间的联系如下。拓扑空间是豪斯多夫空间，当且仅当它是预正则空间和柯尔莫果洛夫空间的二者(就是说独特的点是拓扑可区分的)。拓扑空间是预正则空间，当且仅当它的柯尔莫果洛夫商空间是豪斯多夫空间。

设X是局部紧的豪斯多夫空间，为X上一个处处稠密的正拉东测度(对任意非空开集G,(G)>0)。若X上局部可积的复值函数u组成的希尔伯特空间D=D(X,)满足下述三条公理，则称D(X,)是狄利克雷空间：

2.Cc(X)∩D(X，ξ)在Cc(X)及D(X，ξ)中稠密。

3.对复平面上任一正常的压缩映射T和任一u∈D(X，ξ)，有Tu∈D且‖Tu‖≤‖u‖。

若对于u∈D(X，ξ)，存在拉东测度μ，使得：

则称u为的位势。在狄利克雷空间论中，也有相应的扫除原理、平衡原理和电容器原理等。