n×n실대칭행렬들의 집합에 유클리드 토폴로지 (R^(n*n)의 subspace topology)를 준 공간을 S라고 씀
D는 n×n 실대각행렬들의 집합에 유클리드토폴로지 준 공간
이때 S의 원소들은 대각화가 가능한데
함수 f:S->D를
1. A∈S에 대해 f(A)는 A를 대각화한 행렬
2. f는 연속함수
가 되도록 잡을 수 있음?