23/04/29 21:44:58.12 8+u4wQWn.net
A が有限集合であれば、 x_α ≠ 0 となるのは有限個なので、たかだか可算個です。
A が可算集合であれば、 x_α ≠ 0 となるのはたかだか可算個です。
A がたかだか可算な集合であれば、たかだか可算個しかないのだから、
「たかだか可算個の α ∈ A を除いては x_α = 0」は自明です。
自明でないのは、 A が非可算集合の場合だけです。
それにもかかわらず、「もし A 自身が非可算集合であっても、」と書くのはおかしくないですか?
タオさんは数学は得意らしいですが、国語はどうなのでしょうか?