유한일때만 ㅇ countable도 되긴 하려나?
V가유한차원 실벡터공간이고 T가 V에서의 선형연산자면 T가 self-adjoint일 필충이 V가 eigenvector들로 이뤄진 orthonormal basis를 가지는거잖아 근데 유한차원이니깐 eigenvector들로 되어잇는 기저가 잇기만 하면 orthonormal은 언제든지 만들수 잇으니깐
그냥 T가 self-adjoint일 필충이 T가 diagonalizable이라고 봐도무관하지?? +
ㄴ eigenvector 더하고빼면 다시 eigenvector 안돼. eigenvalue 같을때나 되지.
그리고 유한차원 벡터공간이 아니라 내적공간이어야 다 말이 되고. Adjoint 정의하려면 내적이 꼭 있어야. orthonormal도 마찬가지고.
글고 위에 countable에서도 되긴 하는데 그땐 보통 학부선대처럼 유한합 말고 무한합이랑 수렴을 허용하는데서(주로 separable Hilbert space) 놀음.
앗 그람슈미트를 쓰면 더이상 고유벡터가 아닐수도 잇겟구나 그걸 생각못햇당 감사해유 ㅎㅎ
이 댓글은 게시물 작성자가 삭제하였습니다.
유한일때만 ㅇ countable도 되긴 하려나?
V가유한차원 실벡터공간이고 T가 V에서의 선형연산자면 T가 self-adjoint일 필충이 V가 eigenvector들로 이뤄진 orthonormal basis를 가지는거잖아 근데 유한차원이니깐 eigenvector들로 되어잇는 기저가 잇기만 하면 orthonormal은 언제든지 만들수 잇으니깐
그냥 T가 self-adjoint일 필충이 T가 diagonalizable이라고 봐도무관하지?? +
ㄴ eigenvector 더하고빼면 다시 eigenvector 안돼. eigenvalue 같을때나 되지.
그리고 유한차원 벡터공간이 아니라 내적공간이어야 다 말이 되고. Adjoint 정의하려면 내적이 꼭 있어야. orthonormal도 마찬가지고.
글고 위에 countable에서도 되긴 하는데 그땐 보통 학부선대처럼 유한합 말고 무한합이랑 수렴을 허용하는데서(주로 separable Hilbert space) 놀음.
앗 그람슈미트를 쓰면 더이상 고유벡터가 아닐수도 잇겟구나 그걸 생각못햇당 감사해유 ㅎㅎ
이 댓글은 게시물 작성자가 삭제하였습니다.
이 댓글은 게시물 작성자가 삭제하였습니다.