[일반] 예전에 수갤에서 쿼션트 토폴로지가 왜 그렇게 정의됐는지에 대한

[익명(223.62)]

글이 있었는데...

찾아도 안 보이네

왜 그렇게 정의된거지

- dc official App

[힐베르트(eisenbud)]

x∈X이면 x의 equivalence class를 통째로 갖는 open set들의 X/~로의 projection이 바로 쿼션트 토폴로지의 open set이 되지

[익명(141.223)]

quotient map이 conti이도록하는 finest topology

[익명(223.38)]

아 이거였나보다 - dc App

[힐베르트(eisenbud)]

그렇게 토폴로지를 주는게 equivalence relation ~에 대해서 자연스럽지 않겠냐