R^nの実線型構造と整合する全順序の特徴付け
R^nの実線型構造と整合する全順序が，正規直交基底に関する辞書式順序しかないことを証明します．この問題は，高梨悠吾 さんから伺いました．
2020-03-17: 公開