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
- 599 views
- $2.00
Related Questions
- Linear Algebra - Matrices (Multiple Choice Question) (1st Year College)
- Given $|f(x) - f(y)| \leq M|x-y|^2$ , prove that f is constant.
- Find eigenvalues and eigenvectors of $\begin{pmatrix} -3 & 0 & 2 \\ 1 &-1 &0\\ -2 & -1& 0 \end{pmatrix} $
- Find the null space of the matrix $\begin{pmatrix} 1 & 2 & -1 \\ 3 & -3 & 1 \end{pmatrix}$
- Find eigenvalues and eigenvectors of the matrix $\begin{pmatrix} 1 & 6 & 0 \\ 0 & 2 & 1 \\ 0 & 1 & 2 \end{pmatrix} $
- Step by step method to solve the following problem: find coordinates of B.
- Suppose that $(ab)^3 = a^3 b^3$ for all $a, b \in G$. Prove that G must be an abelian goup [Group Theory].
- Hello! I Would like a proof detailed of the following question.
Is V a subspace of W?
Not necessarily