オストロフスキーの定理
数論において、オストロフスキーの定理 (Ostrowski's theorem) とは、有理数体 Q 上の全ての非自明な付値は、通常の実数の絶対値か、または、p-進付値に同値であるという定理である。1916年にアレクサンドル・オストロフスキー (Alexander Ostrowski) によって証明された。
他のオストロフスキーの定理
他にもオストロフスキーの定理と呼ばれる定理が存在し、それは「アルキメデス付値に関して完備な任意の体は、（代数的にも位相的にも）実数体か複素数体に同型である」ということを主張する。