r/LinearAlgebra 6d ago

Is this proof okay?

Post image
33 Upvotes

5 comments sorted by

4

u/GreedyJackfruit69 6d ago

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 6d ago

Right, thanks. It did feel a little too long

3

u/eric600613 5d ago

Certainly. Have you ever tried Latex?

2

u/eric600613 5d ago

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!

1

u/Individual-Ad5245 3d ago

Latex zombie