関数解析でよく見る、線形作用素で定義域がX全体でもないのにf:X→Yと書く習慣はどこから来たのか
普通にf:D→Y(D:部分空間)じゃダメなの?と思う