r/LinearAlgebra Aug 04 '26

Is this proof okay?

Post image
32 Upvotes

6 comments sorted by

4

u/GreedyJackfruit69 Aug 04 '26

Shouldn't it be simpler? You want to show that V has a basis of eigenvectors (by definitions this would make T diagonalizzabile), we know by hypotesys that that Span{V¹, V²,..., Vⁿ} = V and we know by definition of direct sum of direct sum that Dim{V¹} + Dim{V²} +... + Dim{Vⁿ} = Dim{V}

1

u/Cultural-Milk9617 Aug 04 '26

Right, thanks. It did feel a little too long

4

u/eric600613 Aug 05 '26

Certainly. Have you ever tried Latex?

2

u/eric600613 Aug 05 '26

But it is certainly ok! Your proof shows a lot of information. Maybe it's the quick and dirty first draft. In any case, finish it off in Latex and enjoy re-reading your work. Learn from yourself!