>>45
>>33はx中心の開球でI^∞に収まるようなものをxの開近傍として取れるのではと言ってるが
>>34は積空間の普遍性を満たすような位相を入れると>>34の開球は開近傍にはならないと言ってるのでは