# Example:Canonical linear isomorphism between a one dimensional vector space and its field

From Maths

**Stub grade: A***

This page is a stub

This page is a stub, so it contains little or minimal information and is on a to-do list for being expanded.The message provided is:

Proper A* stub, it's little more than notes

## Example

Let [ilmath]\mathbb{F} [/ilmath] be a field and let [ilmath](V,\mathbb{F})[/ilmath] be a vector space. If the dimension of [ilmath]V[/ilmath] is [ilmath]1[/ilmath] then:

- [ilmath]\text{End}(V)\equiv \mathbb{F} [/ilmath]
^{[1]}(where the [ilmath]\mathbb{F} [/ilmath] here is considered as a vector space, not a field^{[Note 1]})- [ilmath]\equiv[/ilmath] denotes linear isomorphism with a canonical linear map for the isomorphism itself.

## Proof

- Let [ilmath]e[/ilmath], [ilmath]e'[/ilmath] be different bases of [ilmath]\text{End}(V)[/ilmath] - this means [ilmath]e,e':V\rightarrow V[/ilmath] are linear maps
- Notice that:
- [ilmath]\text{Id}\in\text{End}(V)[/ilmath] (the identity map) can be expressed as: [ilmath]\text{Id}\eq\lambda e\eq\lambda e'[/ilmath]
- [ilmath]f\in\text{End}(V)[/ilmath] (any member) can be expressed as: [ilmath]f\eq \alpha e\eq \alpha'e'[/ilmath]

- But [ilmath] f\eq\mu\text{Id} [/ilmath] also (as [ilmath]\text{Id} [/ilmath] can also be a basis of [ilmath]\text{End}(V)[/ilmath])
- We see:
- [ilmath]f\eq\mu\lambda e\eq\mu\lambda'e'\eq\alpha e\eq\alpha'e'[/ilmath]
- Explicitly: [ilmath]\mu\lambda\eq \alpha[/ilmath] and [ilmath]\mu\lambda'\eq \alpha'[/ilmath]
- Rearranging we see: [ilmath]\mu\eq\frac{\alpha}{\lambda}\eq\frac{\alpha'}{\lambda'} [/ilmath]

- Notice that:
- Thus regardless of basis [math]\frac{\alpha}{\lambda} [/math] is the same value ([ilmath]\mu[/ilmath] above)

### The isomorphism

We define: [ilmath]A:\text{End}(V)\rightarrow \mathbb{F} [/ilmath] as the map:

- [ilmath]A:f\mapsto \dfrac{\alpha}{\lambda} [/ilmath] where:
- For any basis, [ilmath]e[/ilmath], of [ilmath]\text{End}(V)[/ilmath] [ilmath]\lambda[/ilmath] and [ilmath]\alpha[/ilmath] are such that:
- [ilmath]f\eq\alpha e[/ilmath] and
- [ilmath]\text{Id}\eq \lambda e[/ilmath]

- For any basis, [ilmath]e[/ilmath], of [ilmath]\text{End}(V)[/ilmath] [ilmath]\lambda[/ilmath] and [ilmath]\alpha[/ilmath] are such that:

Grade: A*

This page requires some work to be carried out

Some aspect of this page is incomplete and work is required to finish it

The message provided is:

The message provided is:

These were rushed notes

## Notes

- ↑ Remember every field is a vector space in its own right