数学において、ルッソ・ダイの定理は関数解析の分野における結果である。これは、単位C*-代数において、単位元の凸包の閉包は閉単位球体であることを述べている。[ 1 ] : 44 この定理は、B. ルッソとHA ダイによって1966年に発表された。[ 2 ]
ルッソ・ダイ定理と同様の結果は、より一般的な文脈でも成り立つ。例えば、単位*-バナッハ代数においては、閉単位球は単位元の閉凸包に含まれる。[ 1 ] : 73
より正確な結果は、ヒルベルト空間上のすべての有界線型作用素のC*-代数に対して成り立つ。Tがそのような作用素であり、ある整数n > 2に対して|| T || < 1 − 2/ nならば、 Tはn個のユニタリ作用素の平均である。[ 3 ]:98
この例はRusso & Dyeによるものである[ 2 ]。系1:U ( A )がC*-代数Aのユニタリ元を表す場合、Aからノルム線型空間Bへの線型写像fのノルムは
言い換えれば、演算子のノルムは代数のユニタリ要素のみを使用して計算できます。