Intereting Posts

Finding for every parameter $\lambda$ if matrix is diagonalizable
Geometric reason why elliptic curve group law is associative
Lower Semicontinuity Concepts
The inegral $\int_1^2 2x \sqrt{x^2 + 1}\; dx$ using differential forms
Vanishing of the first Chern class of a complex vector bundle
Examples of bi-implications ($\Leftrightarrow$) where the $\Rightarrow$ direction is used in the proof of the $\Leftarrow$ direction.
Ratio test and the Root test
Frobenius norm is not induced
Invertibility of compact operators in infinite-dimensional Banach spaces
Intuition behind Strassen's theorem
Convert from a field extension to an elementary field extension
Derivative of a monotone function that has a finite limit as x goes to infinity
How do I substitute a value into a polynomial in GAP?
The king comes from a family of 2 children. What is the probability that the other child is his sister?
If $p$ and $q = 2p + 1$ are both odd primes, show that $-4$ and $2(-1)^{(1/2)(p-1)}$ are both primitive roots modulo $q$.

Let $V$ be a vector space of dimension $n$ over the field $K$. Let $V^{**}$ be the dual space of $V^{*}$. Show that each elelment $v\in V$ gives rise to an element $\lambda_v$ in $V^{**}$ and that the map $v\to\lambda_v$ gives an isomorphism of $V$ with $V^{**}$. Book

Linear Algebra, Serge Lang

I tried to answer it on other thread. I am self-studying and I do not have any kind of solutions.

**For those who do not understand my terminology and the way I thought, here it is the proof in which I based my own for this exercise.**

- necessary and sufficient condition for trivial kernel of a matrix over a commutative ring
- Bilinear form with symmetric “perpendicular” relation is either symmetric or skew-symmetric
- Questions about rank and eigenvalues of a matrix
- Two Definitions of the Special Orthogonal Lie Algebra
- Commutative matrices are multiples of the identity
- Characteristic polynomial of an inverse

Theorem: Let V be a finite dimensional vector space over $K$, with a non-degenerate scalar product. Given a functional $L:V\to K$ there exists a unique element $v\in V$ such that: $L(w)=\langle v,w\rangle$for all $w\in V$.

Proof. Consider the set of all functionals on $V$ which are of type $L_v$, for some $v\in V$. This set is a subspace of $V*$, because of the zero functional is of this type, and we have the formulas$L_{v_1}+L_{v_2}=L_{v_1+v_2}\:\:\:\:\:\text{and}\:\:\:\:\:L_{cv}=cL_{v}$

Furthemore, if $\{v_1,…,v_n\}$ is a basis of $V$, then $L_{v_1},…L_{v_n}$ are linearly independent. Proof: If $x_1,…,x_n\in K$ are such that:

$x_1L_{v_1}+…+x_nL_{v_n}=0\\L_{x_1v_1}+…+L_{x_n v_n}=0$

and hence

$L_{x_1v_1+…+x_n v_n}=0$

However, if $v\in V$, and $L_v=0$, then $v=0$ by the definition of non-degeneracy. Hence:

$x_1v_1+…+x_n v_n=0$,

and therefore $x_1=…=x_n=0$, thereby proving our assertion. We conclude that the space of functionals of type $L_v\:(v\in V)$ is a subspace of $V*$, of the same dimension as $V*$, whence equal to $V*$. This proves the theorem.$\blacksquare$ Book:

“Linear Algebra” by Serge Lang

Could someone write a complete proof?

Thanks in advance

- Proving that two systems of linear equations are equivalent if they have the same solutions
- Perron-Frobenius theorem
- Kernel of composition of linear transformations
- A problem on skew-symmetric matrix
- Cyclic modules over a polynomial ring
- Is the inverse of a symmetric matrix also symmetric?
- Natural and coordinate free definition for the Riemannian volume form?
- How do I prove that a subspace of a vector space $X$ is the null space of some linear functional on $X$?
- How does one prove the matrix inequality $\det\left(6(A^3+B^3+C^3)+I_{n}\right)\ge 5^n\det(A^2+B^2+C^2)$?
- Is there a constructive way to exhibit a basis for $\mathbb{R}^\mathbb{N}$?

For $\phi \in V^{*}$, Define $\lambda_v(\phi) = \phi(v)$. Because we know that $\dim V = \dim V^* = \dim V^{**}$, it suffices to show that the map $\lambda_{\_}:v \mapsto \lambda_v$ is injective, i.e. that it has a trivial kernel.

Suppose, then, that $v \in \ker \lambda_{\_}$. That is, $\lambda_v = 0$. That is: for all $\phi \in V^*$, we have $\phi(v) = 0$. However, whenever $v$ is non-zero, there exists a $\phi:V \to K$ such that $\phi(v) \neq 0$. We may conclude, then, that $v \in \ker \lambda_{\_} \implies v = 0$. So, $\lambda_{\_}$ has a trivial kernel.

So, $\lambda_{\_}$ is an isomorphism, as desired.

- Let $B$ be a nilpotent $n\times n$ matrix with complex entries let $A = B-I$ then find $\det(A)$
- Behavior of derivative near the zero of a function.
- Graph theory: minors vs topological minors
- Cardinality of Vitali sets: countably or uncountably infinite?
- Complex root won't work
- Decomposition of a degenerate conic
- CW construction of Lens spaces Hatcher
- Proof that every repeating decimal is rational
- How to calculate the integral of $x^x$ between $0$ and $1$ using series?
- Fermat numbers and GCD
- Sum of truncated normals
- Why is this ring not Cohen-Macaulay?
- 3 trams are coming every 10, 15 and 15 minutes. On average, how long do I have to wait for any tram to come?
- negative number divided by positive number, what would be remainder?
- Linearly dependent polynomials