Advice for proving existence claims
I’m pretty new to proof—based mathematics and so far I’ve noticed that one type of proof I seem to struggle the most with is proving an existence claim. Particularly, showing the existence of some object with a specified property. From what I gather looking at solutions, this process involves defining some object in a clever way that guarantees its existence and allows you to derive the desired property from its definition. But I feel like I have no idea how to carry out that process systematically. Any advice?
For reference here is an example of the kind of problem I’ve struggled with:
Suppose w1…wn is a basis of W and V is finite dimensional. Prove there is a basis v1…vm of V st with respect to these bases, all entries in the first row of M(T) are 0, except for possibly a 1 in the first entry of the first row.
Where for some basis v1…vn of and a basis w1…wm and some linear transformation
T : V → W, M(T) is defined as the matrix consisting of the entries Aj,k equal to the coefficients in T(vk) = A1,k•w1 + … + Am,k•wk
Answer
- The questioner was satisfied with and accepted the answer, or
- The answer was evaluated as being 100% correct by the judge.

-
Let me know if you have ny questions about the proof.
- answered
- 565 views
- $2.00
Related Questions
- Linear Algebra Exam
- Find $x$ so that $\begin{pmatrix} 1 & 0 & c \\ 0 & a & -b \\ -\frac{1}{a} & x & x^2 \end{pmatrix}$ is invertible
- Critique my proof (beginner)
- Discrete Structures - Proving a statement false by proving the negation to be true
- Find eigenvalues and eigenvectors of $\begin{pmatrix} 1 & 6 & 0 \\ 0& 2 & 1 \\ 0 & 1 & 2 \end{pmatrix} $
- Character of 2-dimensional irreducible representation of $S_4$
- Let $\mathbb{C} ^{2} $ a complex vector space over $\mathbb{C} $ . Find a complex subspace unidimensional $M$ $\subset \mathbb{C} ^{2} $ such that $\mathbb{C} ^{2} \cap M =\left \{ 0 \right \} $
- Question on Subspaces
Is V a subspace of W?
Not necessarily