첫 번째는 complex conjugate의 정의에 의해 그 basis는 기존의 W를 span하는 basis에서 imaginary 부분을 두 번 뺀 것과 같고, W와 imaginary 부분 둘 다 C-vector space의 subspace 이므로, subspace와 subspace의 합 또한 subspace이다.
두 번째는 complex conjugate의 정의에 의해 W와 Rank가 동일하므로 같다.
이런 느낌으로 했는데 ㄱㅊ?
뭔가 너무 조잡하다는 느낌이 들어서 이게 맞나 싶음
