In short, the answers to your question are
- You checked enough properties to show that $S$ was well-defined (see final example below).
- A function definition followed by a demonstration that it's well-defined is a style widely used by professional mathematicians. See, e.g. the comments in this blog post, where professional mathematicians discussing well-definedness do exactly this.
- As far as I can tell your proof is correct.
What does well-definedness mean?
A function is defined in set-theory as a relation with a certain property which, back at the broad view, means one input value to the function gives one output value. Relations are an extremely useful concept to have in your toolkit, and essential terminology for any deeper work, but (as seen in the blog post comments above) many mathematicians neither think of nor write about functions at the set-theory level unless the context requires it.
At a higher level, when we write $f : X\rightarrow Y$, $f(\mathit{input}) = \mathit{output}$, then the function is well-defined if:
- However we describe the $\mathit{input}$, it must be something that can give every possible value in $X$.
- The $\mathit{output}$ is always in $Y$
- If two $\mathit{input}$s gives the same $X$ value, in both cases the $\mathit{output}$ gives the same $Y$ value.
A lot of the time we don't need to check 1 and 3
We don't need to check 1 and 3 when we have a function defined by phrases like:
"Define $f: \mathbb R\to\mathbb R$, where for all $x\in\mathbb R$, $f(x)=\dots$"
where the RHS depends only on $x$, or phrases like:
"Define $f: \mathbb R\to\mathbb R$, where for all $x,y,z\in\mathbb R$, $f(x,y,z) = \dots$"
where the RHS depends only on $x,y,z$.
The parameters to $f$ range over their entire domains (all of $\mathbb R$ or $\mathbb R^3$), we don't need to check 1.
The form of $f$ means that for whatever particular values of $x$ (or $x,y,z$) we put into $f$, we only get one value coming out of the RHS expression, so we don't need to check 3.
Example: $\quad$ $f : \mathbb R \to \mathbb R$ with $f(x)=x^2-\pi$.
- Nothing to check. This informal notation silently implies that $x$ ranges over the domain $\mathbb R$. Some authors write more explicitly: For all $x \in X, f(x) = x^2-\pi$.
- When we read or write this, we should check that $x^2-\pi$ gives us a real number.
- Nothing to check. Once we have a particular input value $x$, there's no choice about what the output value can be.
Here, there's no need to write anything about well-definedness (check 2 is too obvious).
Example: $\quad f : \mathbb R^2 \to \mathbb R~$ with $~f(x,x^2) = 3x~$ for all $~x\in\mathbb R$.
- $f$ is not well-defined. We don't get the whole domain. E.g. no $x\in\mathbb R$ gives us $(x,x^2) = (0,-1)$.
Example:
I saw some authors do this for example: Define a function $f:R\to R$ by $f(a+b)=a/2+b/2$. Then the authors check that this function $f$ they defined "makes sense".
The definition is a little sloppy; the reader thinks "Where did $a$ and $b$ come from? $a+b$ has to be a real number, so I guess $a$ and $b$ are arbitrary real numbers". Let's assume so and apply our checks:
- For any $r\in\mathbb R$ we can get $r=a+b$ by picking, e.g., $a=r$, $b=0$.
- Since $a,b\in \mathbb R$, the output $a/2 + b/2$ is also in $R$.
- Here our input $a+b$ depends on two variables, $a$ and $b$. Suppose we get the same input value in two different ways, i.e. $a_1+b_1 = a_2+b_2$. Then $f(a_1+b_1) = a_1/2+b_1/2 = \dfrac{a_1+b_1}2 = \dfrac{a_2+b_2}2 = a_2/2+b_2/2 = f(a_2+b_2)$.
If I was writing this myself, I'd probably express it as follows.
Define $f:R\to R~$ by $~f(a+b)=a/2+b/2~$ for all $a,b\in \mathbb R$. $~~f$ is well-defined since $a_1\!+\!b_1 = a_2\!+\!b_2~$ implies $~f(a_1+b_1) = a_1/2+b_1/2 = \dfrac{a_1+b_1}2 = \dfrac{a_2+b_2}2 = a_2/2+b_2/2 = f(a_2+b_2)$.
I've left out the quantifiers for $a_1,a_2,b_1,b_2$, assuming the that reader knows how to play the game of well-definedness, and that the reader can immediately see any real can be written as the sum of two reals.
Your example: $\quad$ Define a map $S:W\to V$ such that $S(T(v))=v \text{ for all } v\in V$.
- As you noted, $T(v)$ gives us any $w\in W$ since $T$ is surjective.
- The output, $v$, is obviously always in the codomain $V$.
- As you noted, for $v, v' \in V$, if the inputs $T(v)$ and $T(v')$ are equal then (since $T$ is a bijection) $v=v'$, i.e. the outputs $v$ and $v'$ are the equal.
Your claim is not correct. An error in your proof is that $T$ is not a linear map on $W$. Of course you can restrict $T$ to $W$, but for $w \in W$, there is no reason for $T(w)$ to be in $W$, so you have a map from $W$ to $V$.
For a counterxample, consider the map on $\mathbb{C}^2$ given by
$(z_1,z_2)\mapsto (z_2,0)$.
For more information on what is true, look up Jordan Canonical Form.
Best Answer
For a function to be well-defined, its output needs to be unambiguous. So if $a$ = $b$, then we need $f(a) = f(b)$. Let's look at something that's not well-defined. Let's try to define addition on the rational numbers as $$ \frac{a}{b} + \frac{c}{d} = \frac{a + c}{b + d}. $$
Let's look at $\frac{1}{2} + \frac{1}{3}$. Under this proposed definition of addition we have $\frac{1}{2} + \frac{1}{3} = \frac{2}{5}$. We know that $\frac{1}{2} = \frac{2}{4}$. So we have $\frac{2}{4} + \frac{1}{3} = \frac{3}{7} \neq \frac{2}{5}$. This definition of addition isn't well-defined because our output is ambiguous.
Edit: I hope this makes sense.