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
- 619 views
- $2.00
Related Questions
- How do I evaluate and interpret these sets of vectors and their geometric descriptions?
- Find eigenvalues and eigenvectors of $\begin{pmatrix} 1 & 6 & 0 \\ 0& 2 & 1 \\ 0 & 1 & 2 \end{pmatrix} $
- Does $\sum_{n=2}^{\infty}\frac{\sin n}{n \ln n}$ converge or diverge?
- Discrete Structures - Proving a statement true
- Calculate the inverse of a triangular matrix
- Hello! I Would like a proof detailed of the following question.
- Given $|f(x) - f(y)| \leq M|x-y|^2$ , prove that f is constant.
- Closest Points on Two Lines: How to use algebra on equations to isolate unknowns?
Is V a subspace of W?
Not necessarily