Just a simple example:
Let $V=\mathbb R^n$, Define $\langle x,y\rangle = x^Ty = x_1y_1+...+x_ny_n$. Verify that the function $\langle x,y\rangle $ satisfies the four conditions of being an inner product on $\mathbb R^n$.
My attempt:
positivity: $\langle x,x\rangle = (x_1^2 +\dots+x_n^2)\geq0$
symmetry: $\langle x,y\rangle = x_1y_1+\dots+x_ny_n$ and $\langle y,x\rangle =y_1x_1+\dots+y_nx_n$ therefore, $\langle x,y\rangle=\langle y,x\rangle$.
linearity: $\langle x+y,z\rangle=(x_1+y_1)z_1+\dots+(x_1+y_1)z_n$ and $\langle x,z\rangle+ \langle y,z\rangle =(x_1z_1+\dots+x_nz_n)+(y_1z_1+...+y_nz_n)=(x_1z_1+y_1z_1)+\dots+(x_nz_n+y_nz_n)=(x_1+y_1)z_1+\dots+(x_n+y_n)z_n$
linearity: $\langle cx,y\rangle=cx_1y_1+\dots+cx_ny_n=c(x_1y_1+\dots+x_ny_n)=c\langle x,y\rangle$
These trivial examples always confuse me, am I on the right track?