Linear algebra - find dual space baseLinear Algebra: Dual Basis ProblemProving that given functionals span the dual space of all polynomials of 4-th degree (and finding basis for which given functionals are dual basis)A question about Linear Transformations from Golan's Linear Algebra bookLinear mapping matrix with paramters.Double Dual Spaces linear maps of linear mapsLinear Algebra with functionsFind eigenvalues and eigenvectors of a matrix with 3 unknownsCategorical Notion of Dual SpaceShow that $T$ has an adjoint, and describe $T^*$ explicitly.Let $V=mathbbC$ as a real inner product space with the inner product defined by $(alpha | beta)=operatornameRe(alphaoverlinebeta)$
Is there any evidence that democracy is linked causatively with improved outcomes?
Why was the ancient one so hesitant to teach Dr Strange the art of sorcery
Remove color cast in darktable?
Names of the Six Tastes
Exception propagation
What was the plan for an abort of the Enola Gay's mission to drop the atomic bomb?
spatiotemporal regression
How can I avoid subordinates and coworkers leaving work until the last minute, then having no time for revisions?
Does the 500 feet falling cap apply per fall, or per turn?
Two researchers want to work on the same extension to my paper. Who to help?
Windows OS quantum vs. SQL OS Quantum
Why is it wrong to *implement* myself a known, published, widely believed to be secure crypto algorithm?
Different problems with tabularx
How to handle DM constantly stealing everything from sleeping characters?
How to select certain lines (n, n+4, n+8, n+12...) from the file?
Is there a need for better software for writers?
How did Arya survive this confrontation unscathed?
Removing all characters except digits from clipboard
Company stopped paying my salary. What are my options?
How to make a language evolve quickly?
Is it a good idea to copy a trader when investing?
Improving Sati-Sampajañña (situative wisdom)
No such column 'DeveloperName' on entity 'RecordType' after Summer '19 release on sandbox
Program for finding longest run of zeros from a list of 100 random integers which are either 0 or 1
Linear algebra - find dual space base
Linear Algebra: Dual Basis ProblemProving that given functionals span the dual space of all polynomials of 4-th degree (and finding basis for which given functionals are dual basis)A question about Linear Transformations from Golan's Linear Algebra bookLinear mapping matrix with paramters.Double Dual Spaces linear maps of linear mapsLinear Algebra with functionsFind eigenvalues and eigenvectors of a matrix with 3 unknownsCategorical Notion of Dual SpaceShow that $T$ has an adjoint, and describe $T^*$ explicitly.Let $V=mathbbC$ as a real inner product space with the inner product defined by $(alpha | beta)=operatornameRe(alphaoverlinebeta)$
$begingroup$
I'm trying to solve what seems to be a simple problem, but I cannot find the right way to approach it. Here it is:
Let $V$ be a vector space of all polynomials of degree $0$ or $1$. We define the inner product as
$$(v,w)=int_0^1v(x)w(x),dx. tag1$$
If $1,x$ is a base for $V$, show that the corresponding dual base for $V^*$ is given by $4-6x,-6+12x$.
My attempt to this problem was:
We can write any element from $V$ as:
$$v=alpha+beta x tag2.$$
Using (2) in (1):
$$int_0^1(alpha+beta x)(gamma+sigma x),dx. tag3$$
But that won't take me to the answer as the integral outputs a number. I thought about integrating from $0$ to $x$, however, I don't know how to justify it. Any help?
linear-algebra dual-spaces
$endgroup$
|
show 3 more comments
$begingroup$
I'm trying to solve what seems to be a simple problem, but I cannot find the right way to approach it. Here it is:
Let $V$ be a vector space of all polynomials of degree $0$ or $1$. We define the inner product as
$$(v,w)=int_0^1v(x)w(x),dx. tag1$$
If $1,x$ is a base for $V$, show that the corresponding dual base for $V^*$ is given by $4-6x,-6+12x$.
My attempt to this problem was:
We can write any element from $V$ as:
$$v=alpha+beta x tag2.$$
Using (2) in (1):
$$int_0^1(alpha+beta x)(gamma+sigma x),dx. tag3$$
But that won't take me to the answer as the integral outputs a number. I thought about integrating from $0$ to $x$, however, I don't know how to justify it. Any help?
linear-algebra dual-spaces
$endgroup$
1
$begingroup$
Consider the following two questions: What is the dual space $V^*$? And what does "the corresponding dual base" mean? Once you have answered these two questions, this should tell you what you are supposed to do.
$endgroup$
– Arthur
Apr 30 at 16:17
$begingroup$
The dual space is the set of all linear transformations from a vector space to its scalar field. The corresponding dual base means that the base I have to find is connected to the base given to the set V.
$endgroup$
– Lincon Ribeiro
Apr 30 at 16:20
1
$begingroup$
@LinconRiberio "the set of all linear transformations from a vector space to its scalar field" Is there any relationship between a vector space, its dual space an an inner product? "connected to the base given to the set V" And what is this connection?
$endgroup$
– Arthur
Apr 30 at 16:21
1
$begingroup$
@LincolnRibero You are entirely right that you must use the given basis for $V$. But I am asking a bit more explicitly. When they ask for "the corresponding dual base", there is one very specific property that this dual base should have that no other dual base has. Do you know what this property is?
$endgroup$
– Arthur
Apr 30 at 16:24
1
$begingroup$
Also, the elements of $V^*$ are linear transformations from $V$ to $Bbb R$ (or whatever the base field is). What is it that allows them to write its elements as polynomials as though they are elements of $V$? When they are talking about the element $4-6x$ of $V^*$, which linear transformation does that represent?
$endgroup$
– Arthur
Apr 30 at 16:27
|
show 3 more comments
$begingroup$
I'm trying to solve what seems to be a simple problem, but I cannot find the right way to approach it. Here it is:
Let $V$ be a vector space of all polynomials of degree $0$ or $1$. We define the inner product as
$$(v,w)=int_0^1v(x)w(x),dx. tag1$$
If $1,x$ is a base for $V$, show that the corresponding dual base for $V^*$ is given by $4-6x,-6+12x$.
My attempt to this problem was:
We can write any element from $V$ as:
$$v=alpha+beta x tag2.$$
Using (2) in (1):
$$int_0^1(alpha+beta x)(gamma+sigma x),dx. tag3$$
But that won't take me to the answer as the integral outputs a number. I thought about integrating from $0$ to $x$, however, I don't know how to justify it. Any help?
linear-algebra dual-spaces
$endgroup$
I'm trying to solve what seems to be a simple problem, but I cannot find the right way to approach it. Here it is:
Let $V$ be a vector space of all polynomials of degree $0$ or $1$. We define the inner product as
$$(v,w)=int_0^1v(x)w(x),dx. tag1$$
If $1,x$ is a base for $V$, show that the corresponding dual base for $V^*$ is given by $4-6x,-6+12x$.
My attempt to this problem was:
We can write any element from $V$ as:
$$v=alpha+beta x tag2.$$
Using (2) in (1):
$$int_0^1(alpha+beta x)(gamma+sigma x),dx. tag3$$
But that won't take me to the answer as the integral outputs a number. I thought about integrating from $0$ to $x$, however, I don't know how to justify it. Any help?
linear-algebra dual-spaces
linear-algebra dual-spaces
edited Apr 30 at 16:25
zipirovich
11.5k11831
11.5k11831
asked Apr 30 at 16:08
Lincon RibeiroLincon Ribeiro
837
837
1
$begingroup$
Consider the following two questions: What is the dual space $V^*$? And what does "the corresponding dual base" mean? Once you have answered these two questions, this should tell you what you are supposed to do.
$endgroup$
– Arthur
Apr 30 at 16:17
$begingroup$
The dual space is the set of all linear transformations from a vector space to its scalar field. The corresponding dual base means that the base I have to find is connected to the base given to the set V.
$endgroup$
– Lincon Ribeiro
Apr 30 at 16:20
1
$begingroup$
@LinconRiberio "the set of all linear transformations from a vector space to its scalar field" Is there any relationship between a vector space, its dual space an an inner product? "connected to the base given to the set V" And what is this connection?
$endgroup$
– Arthur
Apr 30 at 16:21
1
$begingroup$
@LincolnRibero You are entirely right that you must use the given basis for $V$. But I am asking a bit more explicitly. When they ask for "the corresponding dual base", there is one very specific property that this dual base should have that no other dual base has. Do you know what this property is?
$endgroup$
– Arthur
Apr 30 at 16:24
1
$begingroup$
Also, the elements of $V^*$ are linear transformations from $V$ to $Bbb R$ (or whatever the base field is). What is it that allows them to write its elements as polynomials as though they are elements of $V$? When they are talking about the element $4-6x$ of $V^*$, which linear transformation does that represent?
$endgroup$
– Arthur
Apr 30 at 16:27
|
show 3 more comments
1
$begingroup$
Consider the following two questions: What is the dual space $V^*$? And what does "the corresponding dual base" mean? Once you have answered these two questions, this should tell you what you are supposed to do.
$endgroup$
– Arthur
Apr 30 at 16:17
$begingroup$
The dual space is the set of all linear transformations from a vector space to its scalar field. The corresponding dual base means that the base I have to find is connected to the base given to the set V.
$endgroup$
– Lincon Ribeiro
Apr 30 at 16:20
1
$begingroup$
@LinconRiberio "the set of all linear transformations from a vector space to its scalar field" Is there any relationship between a vector space, its dual space an an inner product? "connected to the base given to the set V" And what is this connection?
$endgroup$
– Arthur
Apr 30 at 16:21
1
$begingroup$
@LincolnRibero You are entirely right that you must use the given basis for $V$. But I am asking a bit more explicitly. When they ask for "the corresponding dual base", there is one very specific property that this dual base should have that no other dual base has. Do you know what this property is?
$endgroup$
– Arthur
Apr 30 at 16:24
1
$begingroup$
Also, the elements of $V^*$ are linear transformations from $V$ to $Bbb R$ (or whatever the base field is). What is it that allows them to write its elements as polynomials as though they are elements of $V$? When they are talking about the element $4-6x$ of $V^*$, which linear transformation does that represent?
$endgroup$
– Arthur
Apr 30 at 16:27
1
1
$begingroup$
Consider the following two questions: What is the dual space $V^*$? And what does "the corresponding dual base" mean? Once you have answered these two questions, this should tell you what you are supposed to do.
$endgroup$
– Arthur
Apr 30 at 16:17
$begingroup$
Consider the following two questions: What is the dual space $V^*$? And what does "the corresponding dual base" mean? Once you have answered these two questions, this should tell you what you are supposed to do.
$endgroup$
– Arthur
Apr 30 at 16:17
$begingroup$
The dual space is the set of all linear transformations from a vector space to its scalar field. The corresponding dual base means that the base I have to find is connected to the base given to the set V.
$endgroup$
– Lincon Ribeiro
Apr 30 at 16:20
$begingroup$
The dual space is the set of all linear transformations from a vector space to its scalar field. The corresponding dual base means that the base I have to find is connected to the base given to the set V.
$endgroup$
– Lincon Ribeiro
Apr 30 at 16:20
1
1
$begingroup$
@LinconRiberio "the set of all linear transformations from a vector space to its scalar field" Is there any relationship between a vector space, its dual space an an inner product? "connected to the base given to the set V" And what is this connection?
$endgroup$
– Arthur
Apr 30 at 16:21
$begingroup$
@LinconRiberio "the set of all linear transformations from a vector space to its scalar field" Is there any relationship between a vector space, its dual space an an inner product? "connected to the base given to the set V" And what is this connection?
$endgroup$
– Arthur
Apr 30 at 16:21
1
1
$begingroup$
@LincolnRibero You are entirely right that you must use the given basis for $V$. But I am asking a bit more explicitly. When they ask for "the corresponding dual base", there is one very specific property that this dual base should have that no other dual base has. Do you know what this property is?
$endgroup$
– Arthur
Apr 30 at 16:24
$begingroup$
@LincolnRibero You are entirely right that you must use the given basis for $V$. But I am asking a bit more explicitly. When they ask for "the corresponding dual base", there is one very specific property that this dual base should have that no other dual base has. Do you know what this property is?
$endgroup$
– Arthur
Apr 30 at 16:24
1
1
$begingroup$
Also, the elements of $V^*$ are linear transformations from $V$ to $Bbb R$ (or whatever the base field is). What is it that allows them to write its elements as polynomials as though they are elements of $V$? When they are talking about the element $4-6x$ of $V^*$, which linear transformation does that represent?
$endgroup$
– Arthur
Apr 30 at 16:27
$begingroup$
Also, the elements of $V^*$ are linear transformations from $V$ to $Bbb R$ (or whatever the base field is). What is it that allows them to write its elements as polynomials as though they are elements of $V$? When they are talking about the element $4-6x$ of $V^*$, which linear transformation does that represent?
$endgroup$
– Arthur
Apr 30 at 16:27
|
show 3 more comments
5 Answers
5
active
oldest
votes
$begingroup$
Since you aren't entirely clear on the basics, let's take this from the start.
We have an inner product on $V$ defined as
$$
(u, v) = int_0^1 u(x)v(x)dx
$$
Now note that if we choose some fixed polynomial $u_0in V$, then
$$
vmapsto (u_0, v)
$$
is a linear transformation from $V$ to $Bbb R$. Which is to say, $u_0$ here gives us an element of $V^*$, sending $v$ to $u_0(v) = int_0^1u_0(x)v(x)dx$.
Given an inner product on a finite-dimensional vector space, this correspondance between the inner product and the dual space gives a full description of $V^*$. In other words, any linear transformation $Vto Bbb R$ can be seen as "take the inner product with some specific, fixed element of $V$", and of course, a different $u_0$ will give a different linear transformation.
This way, we may write elements of $V^*$ as polynomials. Note that which polynomial represents which linear transformation depends on the inner product. If we had chosen $int_0^2$ instead, for instance, the correspondence would be different.
We are given a basis $1, x$ of $V$, and tasked with finding the corresponding dual basis of $V^*$. As the other answers have noted, a "corresponding dual basis" consists of a basis $u_0, u_1$ of $V^*$ such that $$u_0(1) = u_1(x) = 1\u_1(1) = u_0(x) = 0$$
Which is to say, we want to find polynomials $u_0, u_1$ such that
$$
int_0^1u_0(x)dx = int_0^1 xu_1(x)dx = 1\
int_0^1xu_0(x)dx = int_0^1u_1dx = 0
$$
You are given candidate polynomials in the problem text. Verifying them is easy.
$endgroup$
$begingroup$
If you want to be adventurous and take a look at $(V^*)^*$, then you will note that this is again isomorphic to $V$: The natural correspondence here is to let a polynomial $u_0$ take $vin V^*$ to $v(u_0)$, and as such the polynomial $u_0$ represents a linear transformation from $V^*$ to $Bbb R$. The corresponding dual dual basis of this space (the one which sends the elements of the corresponding dual basis of $V^*$ to $0$ and $1$) does not depend on the inner product, and it will always be the same as the one you chose for the base vector space.
$endgroup$
– Arthur
Apr 30 at 16:48
add a comment |
$begingroup$
There is some confusion here, since $4-6x,-6+12xnotin V^*$. My guess is that you are after a basis $e,f$ of $V$ (not of $V^*$) such that $(1,e)=1$, $(1,f)=0$, $(x,e)=0$, and $(x,f)=1$. So you search for polynomials $p(x),q(x)in V$ such that
$bigl(1,p(x)bigr)=1$;
$bigl(x,p(x)bigr)=0$;
$bigl(1,q(x)bigr)=0$;
$bigl(x,q(x)bigr)=1$.
You can check for yourself that this is just what happens if you take $p(x)=4-6x$, and $q(x)=-6+12x$.
$endgroup$
add a comment |
$begingroup$
I want to give you a different perspective here: if $(V,g)$ is a vector space equipped with a non-degenerate symmetric bilinear form $g$, the map $$ Vni vmapsto v_flat =g(v,cdot)in V^*$$is an isomorphism, whose inverse is denoted by $sharp$, so that $g(f^sharp, w)=f(w)$ for all $win V$ and $fin V^*$. If $(e_1,ldots,e_n)$ is a basis for $V$ and $(e^1,ldots,e^n)$ is the dual basis in $V^*$, then $((e^1)^sharp,ldots,(e^n)^sharp)$ is another basis for $V$, such that $g((e^i)^sharp,e_j)=delta^i_j$. If $g_ij = g(e_i,e_j)$ and $(g^ij)$ denotes the inverse matrix, then $(e^i)^sharp =sum_j g^ije_j$. This means that if you know how to compute the dual basis to $1,x$, you could deduce what $p(x)$ and $q(x)$ should be, even if the statement of the problem didn't gave you this information beforehand, by computing $$(g^ij)=beginpmatrix (1,1)& (1,x) \ (x,1) & (x,x)endpmatrix^-1$$and using the previous formula for $(e^i)^sharp$.
$endgroup$
add a comment |
$begingroup$
If in a vector space $V$ endowed with an inner product we consider a basis $v_1,v_2,ldots,v_n$ , then its dual basis is $v'_1,v'_2,ldots,v'_n$ defined by the following conditions:
$$(v_i,v'_i)=1 text for all i quad textand quad (v_i,v'_j)=0 text for all ine j.$$
So you need to find two polynomials that satisfy these conditions. Here's how you can start on one of them (and you can proceed similarly for the other one). Let $v_1=1in V$. The corresponding element of the dual basis $v'_1=ax+b$ is defined by the conditions that
$$(v_1,v'_1)=int_0^1 1cdot(ax+b),dx=1 quad textand quad (v_2,v'_1)=int_0^1 xcdot(ax+b),dx=0.$$
These two integrals, when you evaluate them, give you two simple linear equations for $a$ and $b$. Solving them, you will find $a$ and $b$, and thus $v'_1$.
$endgroup$
add a comment |
$begingroup$
Combining elements of other answers:
I think that what José Carlos Santos is getting at is that there is, to some extent, some "abuse of notation" in presenting polynomials (elements of $V$) as being basis vectors of $V^*$. Given any inner product $(u,v)$, there is a natural isomorphism between $phi: V rightarrow V^*$, namely $phi(v)(u) = (u,v)$ That is, $phi$ is a function on $V rightarrow V^*$, so its output is a function $V rightarrow mathbb R$, so applying $phi$ to $v$ returns a function that can be applied to $u$, and the output of that function is a real number equal to the inner product of $u$ and $v$. So if we want to be truly rigorous, then rather than saying that $4−6x,−6+12x$ is a basis for $V^*$, we should say that $phi(4−6x),phi(−6+12x)$ is a basis for $V^*$.
As for verifying this claim, it's a simple matter of verifying that vectors of corresponding indices have inner product of $1$, and all other pairs have inner product of $0$. Or, in other words, finding the outer product of $[1,x]^T[4−6x,−6+12x]$ and verifying that it results in the identity matrix.
If you were attempting to find the basis of $V^*$ that corresponds to $1,x$, rather than verifying an existing one, taking $[1,x]^T[1,x]$ yields $beginpmatrix (1,x)& (1,x) \ (x,1) & (x,x)endpmatrix$, which evaluates to $beginpmatrix 1 ½ \ frac 12& frac 13endpmatrix$, and the inverse of that is $beginpmatrix 4& -6 \ -6 & 12endpmatrix$, which gives you the vectors $4-6x$ and $-6+12x$.
We could have taken another set of vectors, and the the final matrix would have given the coefficients for the basis vectors in terms of those vectors. That is, if we have some basis of $V$, we can build a matrix of those vectors. Call that $B$. Then given any basis of $V^*$, we can created a matrix $W$ out of those vectors. We can then create a matrix $U$ as $(WB^T)^-1W$. That is, we take the outer product of $B$ and $W$, evaluate the entries according to our inner product, take the inverse, and then use the resulting numbers as coefficients to create linear combinations of the vectors in $W$. Then when we take $B^TU$, we get $B^T(WB^T)^-1W=B^T(B^T)^-1W^-1W=I$. So $U$ defines a basis that is orthonormal to $B$.
$endgroup$
add a comment |
Your Answer
StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);
else
createEditor();
);
function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader:
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
,
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);
);
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3208465%2flinear-algebra-find-dual-space-base%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
5 Answers
5
active
oldest
votes
5 Answers
5
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Since you aren't entirely clear on the basics, let's take this from the start.
We have an inner product on $V$ defined as
$$
(u, v) = int_0^1 u(x)v(x)dx
$$
Now note that if we choose some fixed polynomial $u_0in V$, then
$$
vmapsto (u_0, v)
$$
is a linear transformation from $V$ to $Bbb R$. Which is to say, $u_0$ here gives us an element of $V^*$, sending $v$ to $u_0(v) = int_0^1u_0(x)v(x)dx$.
Given an inner product on a finite-dimensional vector space, this correspondance between the inner product and the dual space gives a full description of $V^*$. In other words, any linear transformation $Vto Bbb R$ can be seen as "take the inner product with some specific, fixed element of $V$", and of course, a different $u_0$ will give a different linear transformation.
This way, we may write elements of $V^*$ as polynomials. Note that which polynomial represents which linear transformation depends on the inner product. If we had chosen $int_0^2$ instead, for instance, the correspondence would be different.
We are given a basis $1, x$ of $V$, and tasked with finding the corresponding dual basis of $V^*$. As the other answers have noted, a "corresponding dual basis" consists of a basis $u_0, u_1$ of $V^*$ such that $$u_0(1) = u_1(x) = 1\u_1(1) = u_0(x) = 0$$
Which is to say, we want to find polynomials $u_0, u_1$ such that
$$
int_0^1u_0(x)dx = int_0^1 xu_1(x)dx = 1\
int_0^1xu_0(x)dx = int_0^1u_1dx = 0
$$
You are given candidate polynomials in the problem text. Verifying them is easy.
$endgroup$
$begingroup$
If you want to be adventurous and take a look at $(V^*)^*$, then you will note that this is again isomorphic to $V$: The natural correspondence here is to let a polynomial $u_0$ take $vin V^*$ to $v(u_0)$, and as such the polynomial $u_0$ represents a linear transformation from $V^*$ to $Bbb R$. The corresponding dual dual basis of this space (the one which sends the elements of the corresponding dual basis of $V^*$ to $0$ and $1$) does not depend on the inner product, and it will always be the same as the one you chose for the base vector space.
$endgroup$
– Arthur
Apr 30 at 16:48
add a comment |
$begingroup$
Since you aren't entirely clear on the basics, let's take this from the start.
We have an inner product on $V$ defined as
$$
(u, v) = int_0^1 u(x)v(x)dx
$$
Now note that if we choose some fixed polynomial $u_0in V$, then
$$
vmapsto (u_0, v)
$$
is a linear transformation from $V$ to $Bbb R$. Which is to say, $u_0$ here gives us an element of $V^*$, sending $v$ to $u_0(v) = int_0^1u_0(x)v(x)dx$.
Given an inner product on a finite-dimensional vector space, this correspondance between the inner product and the dual space gives a full description of $V^*$. In other words, any linear transformation $Vto Bbb R$ can be seen as "take the inner product with some specific, fixed element of $V$", and of course, a different $u_0$ will give a different linear transformation.
This way, we may write elements of $V^*$ as polynomials. Note that which polynomial represents which linear transformation depends on the inner product. If we had chosen $int_0^2$ instead, for instance, the correspondence would be different.
We are given a basis $1, x$ of $V$, and tasked with finding the corresponding dual basis of $V^*$. As the other answers have noted, a "corresponding dual basis" consists of a basis $u_0, u_1$ of $V^*$ such that $$u_0(1) = u_1(x) = 1\u_1(1) = u_0(x) = 0$$
Which is to say, we want to find polynomials $u_0, u_1$ such that
$$
int_0^1u_0(x)dx = int_0^1 xu_1(x)dx = 1\
int_0^1xu_0(x)dx = int_0^1u_1dx = 0
$$
You are given candidate polynomials in the problem text. Verifying them is easy.
$endgroup$
$begingroup$
If you want to be adventurous and take a look at $(V^*)^*$, then you will note that this is again isomorphic to $V$: The natural correspondence here is to let a polynomial $u_0$ take $vin V^*$ to $v(u_0)$, and as such the polynomial $u_0$ represents a linear transformation from $V^*$ to $Bbb R$. The corresponding dual dual basis of this space (the one which sends the elements of the corresponding dual basis of $V^*$ to $0$ and $1$) does not depend on the inner product, and it will always be the same as the one you chose for the base vector space.
$endgroup$
– Arthur
Apr 30 at 16:48
add a comment |
$begingroup$
Since you aren't entirely clear on the basics, let's take this from the start.
We have an inner product on $V$ defined as
$$
(u, v) = int_0^1 u(x)v(x)dx
$$
Now note that if we choose some fixed polynomial $u_0in V$, then
$$
vmapsto (u_0, v)
$$
is a linear transformation from $V$ to $Bbb R$. Which is to say, $u_0$ here gives us an element of $V^*$, sending $v$ to $u_0(v) = int_0^1u_0(x)v(x)dx$.
Given an inner product on a finite-dimensional vector space, this correspondance between the inner product and the dual space gives a full description of $V^*$. In other words, any linear transformation $Vto Bbb R$ can be seen as "take the inner product with some specific, fixed element of $V$", and of course, a different $u_0$ will give a different linear transformation.
This way, we may write elements of $V^*$ as polynomials. Note that which polynomial represents which linear transformation depends on the inner product. If we had chosen $int_0^2$ instead, for instance, the correspondence would be different.
We are given a basis $1, x$ of $V$, and tasked with finding the corresponding dual basis of $V^*$. As the other answers have noted, a "corresponding dual basis" consists of a basis $u_0, u_1$ of $V^*$ such that $$u_0(1) = u_1(x) = 1\u_1(1) = u_0(x) = 0$$
Which is to say, we want to find polynomials $u_0, u_1$ such that
$$
int_0^1u_0(x)dx = int_0^1 xu_1(x)dx = 1\
int_0^1xu_0(x)dx = int_0^1u_1dx = 0
$$
You are given candidate polynomials in the problem text. Verifying them is easy.
$endgroup$
Since you aren't entirely clear on the basics, let's take this from the start.
We have an inner product on $V$ defined as
$$
(u, v) = int_0^1 u(x)v(x)dx
$$
Now note that if we choose some fixed polynomial $u_0in V$, then
$$
vmapsto (u_0, v)
$$
is a linear transformation from $V$ to $Bbb R$. Which is to say, $u_0$ here gives us an element of $V^*$, sending $v$ to $u_0(v) = int_0^1u_0(x)v(x)dx$.
Given an inner product on a finite-dimensional vector space, this correspondance between the inner product and the dual space gives a full description of $V^*$. In other words, any linear transformation $Vto Bbb R$ can be seen as "take the inner product with some specific, fixed element of $V$", and of course, a different $u_0$ will give a different linear transformation.
This way, we may write elements of $V^*$ as polynomials. Note that which polynomial represents which linear transformation depends on the inner product. If we had chosen $int_0^2$ instead, for instance, the correspondence would be different.
We are given a basis $1, x$ of $V$, and tasked with finding the corresponding dual basis of $V^*$. As the other answers have noted, a "corresponding dual basis" consists of a basis $u_0, u_1$ of $V^*$ such that $$u_0(1) = u_1(x) = 1\u_1(1) = u_0(x) = 0$$
Which is to say, we want to find polynomials $u_0, u_1$ such that
$$
int_0^1u_0(x)dx = int_0^1 xu_1(x)dx = 1\
int_0^1xu_0(x)dx = int_0^1u_1dx = 0
$$
You are given candidate polynomials in the problem text. Verifying them is easy.
answered Apr 30 at 16:44
ArthurArthur
125k7122211
125k7122211
$begingroup$
If you want to be adventurous and take a look at $(V^*)^*$, then you will note that this is again isomorphic to $V$: The natural correspondence here is to let a polynomial $u_0$ take $vin V^*$ to $v(u_0)$, and as such the polynomial $u_0$ represents a linear transformation from $V^*$ to $Bbb R$. The corresponding dual dual basis of this space (the one which sends the elements of the corresponding dual basis of $V^*$ to $0$ and $1$) does not depend on the inner product, and it will always be the same as the one you chose for the base vector space.
$endgroup$
– Arthur
Apr 30 at 16:48
add a comment |
$begingroup$
If you want to be adventurous and take a look at $(V^*)^*$, then you will note that this is again isomorphic to $V$: The natural correspondence here is to let a polynomial $u_0$ take $vin V^*$ to $v(u_0)$, and as such the polynomial $u_0$ represents a linear transformation from $V^*$ to $Bbb R$. The corresponding dual dual basis of this space (the one which sends the elements of the corresponding dual basis of $V^*$ to $0$ and $1$) does not depend on the inner product, and it will always be the same as the one you chose for the base vector space.
$endgroup$
– Arthur
Apr 30 at 16:48
$begingroup$
If you want to be adventurous and take a look at $(V^*)^*$, then you will note that this is again isomorphic to $V$: The natural correspondence here is to let a polynomial $u_0$ take $vin V^*$ to $v(u_0)$, and as such the polynomial $u_0$ represents a linear transformation from $V^*$ to $Bbb R$. The corresponding dual dual basis of this space (the one which sends the elements of the corresponding dual basis of $V^*$ to $0$ and $1$) does not depend on the inner product, and it will always be the same as the one you chose for the base vector space.
$endgroup$
– Arthur
Apr 30 at 16:48
$begingroup$
If you want to be adventurous and take a look at $(V^*)^*$, then you will note that this is again isomorphic to $V$: The natural correspondence here is to let a polynomial $u_0$ take $vin V^*$ to $v(u_0)$, and as such the polynomial $u_0$ represents a linear transformation from $V^*$ to $Bbb R$. The corresponding dual dual basis of this space (the one which sends the elements of the corresponding dual basis of $V^*$ to $0$ and $1$) does not depend on the inner product, and it will always be the same as the one you chose for the base vector space.
$endgroup$
– Arthur
Apr 30 at 16:48
add a comment |
$begingroup$
There is some confusion here, since $4-6x,-6+12xnotin V^*$. My guess is that you are after a basis $e,f$ of $V$ (not of $V^*$) such that $(1,e)=1$, $(1,f)=0$, $(x,e)=0$, and $(x,f)=1$. So you search for polynomials $p(x),q(x)in V$ such that
$bigl(1,p(x)bigr)=1$;
$bigl(x,p(x)bigr)=0$;
$bigl(1,q(x)bigr)=0$;
$bigl(x,q(x)bigr)=1$.
You can check for yourself that this is just what happens if you take $p(x)=4-6x$, and $q(x)=-6+12x$.
$endgroup$
add a comment |
$begingroup$
There is some confusion here, since $4-6x,-6+12xnotin V^*$. My guess is that you are after a basis $e,f$ of $V$ (not of $V^*$) such that $(1,e)=1$, $(1,f)=0$, $(x,e)=0$, and $(x,f)=1$. So you search for polynomials $p(x),q(x)in V$ such that
$bigl(1,p(x)bigr)=1$;
$bigl(x,p(x)bigr)=0$;
$bigl(1,q(x)bigr)=0$;
$bigl(x,q(x)bigr)=1$.
You can check for yourself that this is just what happens if you take $p(x)=4-6x$, and $q(x)=-6+12x$.
$endgroup$
add a comment |
$begingroup$
There is some confusion here, since $4-6x,-6+12xnotin V^*$. My guess is that you are after a basis $e,f$ of $V$ (not of $V^*$) such that $(1,e)=1$, $(1,f)=0$, $(x,e)=0$, and $(x,f)=1$. So you search for polynomials $p(x),q(x)in V$ such that
$bigl(1,p(x)bigr)=1$;
$bigl(x,p(x)bigr)=0$;
$bigl(1,q(x)bigr)=0$;
$bigl(x,q(x)bigr)=1$.
You can check for yourself that this is just what happens if you take $p(x)=4-6x$, and $q(x)=-6+12x$.
$endgroup$
There is some confusion here, since $4-6x,-6+12xnotin V^*$. My guess is that you are after a basis $e,f$ of $V$ (not of $V^*$) such that $(1,e)=1$, $(1,f)=0$, $(x,e)=0$, and $(x,f)=1$. So you search for polynomials $p(x),q(x)in V$ such that
$bigl(1,p(x)bigr)=1$;
$bigl(x,p(x)bigr)=0$;
$bigl(1,q(x)bigr)=0$;
$bigl(x,q(x)bigr)=1$.
You can check for yourself that this is just what happens if you take $p(x)=4-6x$, and $q(x)=-6+12x$.
edited Apr 30 at 17:18
answered Apr 30 at 16:20
José Carlos SantosJosé Carlos Santos
182k24142256
182k24142256
add a comment |
add a comment |
$begingroup$
I want to give you a different perspective here: if $(V,g)$ is a vector space equipped with a non-degenerate symmetric bilinear form $g$, the map $$ Vni vmapsto v_flat =g(v,cdot)in V^*$$is an isomorphism, whose inverse is denoted by $sharp$, so that $g(f^sharp, w)=f(w)$ for all $win V$ and $fin V^*$. If $(e_1,ldots,e_n)$ is a basis for $V$ and $(e^1,ldots,e^n)$ is the dual basis in $V^*$, then $((e^1)^sharp,ldots,(e^n)^sharp)$ is another basis for $V$, such that $g((e^i)^sharp,e_j)=delta^i_j$. If $g_ij = g(e_i,e_j)$ and $(g^ij)$ denotes the inverse matrix, then $(e^i)^sharp =sum_j g^ije_j$. This means that if you know how to compute the dual basis to $1,x$, you could deduce what $p(x)$ and $q(x)$ should be, even if the statement of the problem didn't gave you this information beforehand, by computing $$(g^ij)=beginpmatrix (1,1)& (1,x) \ (x,1) & (x,x)endpmatrix^-1$$and using the previous formula for $(e^i)^sharp$.
$endgroup$
add a comment |
$begingroup$
I want to give you a different perspective here: if $(V,g)$ is a vector space equipped with a non-degenerate symmetric bilinear form $g$, the map $$ Vni vmapsto v_flat =g(v,cdot)in V^*$$is an isomorphism, whose inverse is denoted by $sharp$, so that $g(f^sharp, w)=f(w)$ for all $win V$ and $fin V^*$. If $(e_1,ldots,e_n)$ is a basis for $V$ and $(e^1,ldots,e^n)$ is the dual basis in $V^*$, then $((e^1)^sharp,ldots,(e^n)^sharp)$ is another basis for $V$, such that $g((e^i)^sharp,e_j)=delta^i_j$. If $g_ij = g(e_i,e_j)$ and $(g^ij)$ denotes the inverse matrix, then $(e^i)^sharp =sum_j g^ije_j$. This means that if you know how to compute the dual basis to $1,x$, you could deduce what $p(x)$ and $q(x)$ should be, even if the statement of the problem didn't gave you this information beforehand, by computing $$(g^ij)=beginpmatrix (1,1)& (1,x) \ (x,1) & (x,x)endpmatrix^-1$$and using the previous formula for $(e^i)^sharp$.
$endgroup$
add a comment |
$begingroup$
I want to give you a different perspective here: if $(V,g)$ is a vector space equipped with a non-degenerate symmetric bilinear form $g$, the map $$ Vni vmapsto v_flat =g(v,cdot)in V^*$$is an isomorphism, whose inverse is denoted by $sharp$, so that $g(f^sharp, w)=f(w)$ for all $win V$ and $fin V^*$. If $(e_1,ldots,e_n)$ is a basis for $V$ and $(e^1,ldots,e^n)$ is the dual basis in $V^*$, then $((e^1)^sharp,ldots,(e^n)^sharp)$ is another basis for $V$, such that $g((e^i)^sharp,e_j)=delta^i_j$. If $g_ij = g(e_i,e_j)$ and $(g^ij)$ denotes the inverse matrix, then $(e^i)^sharp =sum_j g^ije_j$. This means that if you know how to compute the dual basis to $1,x$, you could deduce what $p(x)$ and $q(x)$ should be, even if the statement of the problem didn't gave you this information beforehand, by computing $$(g^ij)=beginpmatrix (1,1)& (1,x) \ (x,1) & (x,x)endpmatrix^-1$$and using the previous formula for $(e^i)^sharp$.
$endgroup$
I want to give you a different perspective here: if $(V,g)$ is a vector space equipped with a non-degenerate symmetric bilinear form $g$, the map $$ Vni vmapsto v_flat =g(v,cdot)in V^*$$is an isomorphism, whose inverse is denoted by $sharp$, so that $g(f^sharp, w)=f(w)$ for all $win V$ and $fin V^*$. If $(e_1,ldots,e_n)$ is a basis for $V$ and $(e^1,ldots,e^n)$ is the dual basis in $V^*$, then $((e^1)^sharp,ldots,(e^n)^sharp)$ is another basis for $V$, such that $g((e^i)^sharp,e_j)=delta^i_j$. If $g_ij = g(e_i,e_j)$ and $(g^ij)$ denotes the inverse matrix, then $(e^i)^sharp =sum_j g^ije_j$. This means that if you know how to compute the dual basis to $1,x$, you could deduce what $p(x)$ and $q(x)$ should be, even if the statement of the problem didn't gave you this information beforehand, by computing $$(g^ij)=beginpmatrix (1,1)& (1,x) \ (x,1) & (x,x)endpmatrix^-1$$and using the previous formula for $(e^i)^sharp$.
edited Apr 30 at 17:21
answered Apr 30 at 16:58
Ivo TerekIvo Terek
47.5k954148
47.5k954148
add a comment |
add a comment |
$begingroup$
If in a vector space $V$ endowed with an inner product we consider a basis $v_1,v_2,ldots,v_n$ , then its dual basis is $v'_1,v'_2,ldots,v'_n$ defined by the following conditions:
$$(v_i,v'_i)=1 text for all i quad textand quad (v_i,v'_j)=0 text for all ine j.$$
So you need to find two polynomials that satisfy these conditions. Here's how you can start on one of them (and you can proceed similarly for the other one). Let $v_1=1in V$. The corresponding element of the dual basis $v'_1=ax+b$ is defined by the conditions that
$$(v_1,v'_1)=int_0^1 1cdot(ax+b),dx=1 quad textand quad (v_2,v'_1)=int_0^1 xcdot(ax+b),dx=0.$$
These two integrals, when you evaluate them, give you two simple linear equations for $a$ and $b$. Solving them, you will find $a$ and $b$, and thus $v'_1$.
$endgroup$
add a comment |
$begingroup$
If in a vector space $V$ endowed with an inner product we consider a basis $v_1,v_2,ldots,v_n$ , then its dual basis is $v'_1,v'_2,ldots,v'_n$ defined by the following conditions:
$$(v_i,v'_i)=1 text for all i quad textand quad (v_i,v'_j)=0 text for all ine j.$$
So you need to find two polynomials that satisfy these conditions. Here's how you can start on one of them (and you can proceed similarly for the other one). Let $v_1=1in V$. The corresponding element of the dual basis $v'_1=ax+b$ is defined by the conditions that
$$(v_1,v'_1)=int_0^1 1cdot(ax+b),dx=1 quad textand quad (v_2,v'_1)=int_0^1 xcdot(ax+b),dx=0.$$
These two integrals, when you evaluate them, give you two simple linear equations for $a$ and $b$. Solving them, you will find $a$ and $b$, and thus $v'_1$.
$endgroup$
add a comment |
$begingroup$
If in a vector space $V$ endowed with an inner product we consider a basis $v_1,v_2,ldots,v_n$ , then its dual basis is $v'_1,v'_2,ldots,v'_n$ defined by the following conditions:
$$(v_i,v'_i)=1 text for all i quad textand quad (v_i,v'_j)=0 text for all ine j.$$
So you need to find two polynomials that satisfy these conditions. Here's how you can start on one of them (and you can proceed similarly for the other one). Let $v_1=1in V$. The corresponding element of the dual basis $v'_1=ax+b$ is defined by the conditions that
$$(v_1,v'_1)=int_0^1 1cdot(ax+b),dx=1 quad textand quad (v_2,v'_1)=int_0^1 xcdot(ax+b),dx=0.$$
These two integrals, when you evaluate them, give you two simple linear equations for $a$ and $b$. Solving them, you will find $a$ and $b$, and thus $v'_1$.
$endgroup$
If in a vector space $V$ endowed with an inner product we consider a basis $v_1,v_2,ldots,v_n$ , then its dual basis is $v'_1,v'_2,ldots,v'_n$ defined by the following conditions:
$$(v_i,v'_i)=1 text for all i quad textand quad (v_i,v'_j)=0 text for all ine j.$$
So you need to find two polynomials that satisfy these conditions. Here's how you can start on one of them (and you can proceed similarly for the other one). Let $v_1=1in V$. The corresponding element of the dual basis $v'_1=ax+b$ is defined by the conditions that
$$(v_1,v'_1)=int_0^1 1cdot(ax+b),dx=1 quad textand quad (v_2,v'_1)=int_0^1 xcdot(ax+b),dx=0.$$
These two integrals, when you evaluate them, give you two simple linear equations for $a$ and $b$. Solving them, you will find $a$ and $b$, and thus $v'_1$.
answered Apr 30 at 16:23
zipirovichzipirovich
11.5k11831
11.5k11831
add a comment |
add a comment |
$begingroup$
Combining elements of other answers:
I think that what José Carlos Santos is getting at is that there is, to some extent, some "abuse of notation" in presenting polynomials (elements of $V$) as being basis vectors of $V^*$. Given any inner product $(u,v)$, there is a natural isomorphism between $phi: V rightarrow V^*$, namely $phi(v)(u) = (u,v)$ That is, $phi$ is a function on $V rightarrow V^*$, so its output is a function $V rightarrow mathbb R$, so applying $phi$ to $v$ returns a function that can be applied to $u$, and the output of that function is a real number equal to the inner product of $u$ and $v$. So if we want to be truly rigorous, then rather than saying that $4−6x,−6+12x$ is a basis for $V^*$, we should say that $phi(4−6x),phi(−6+12x)$ is a basis for $V^*$.
As for verifying this claim, it's a simple matter of verifying that vectors of corresponding indices have inner product of $1$, and all other pairs have inner product of $0$. Or, in other words, finding the outer product of $[1,x]^T[4−6x,−6+12x]$ and verifying that it results in the identity matrix.
If you were attempting to find the basis of $V^*$ that corresponds to $1,x$, rather than verifying an existing one, taking $[1,x]^T[1,x]$ yields $beginpmatrix (1,x)& (1,x) \ (x,1) & (x,x)endpmatrix$, which evaluates to $beginpmatrix 1 ½ \ frac 12& frac 13endpmatrix$, and the inverse of that is $beginpmatrix 4& -6 \ -6 & 12endpmatrix$, which gives you the vectors $4-6x$ and $-6+12x$.
We could have taken another set of vectors, and the the final matrix would have given the coefficients for the basis vectors in terms of those vectors. That is, if we have some basis of $V$, we can build a matrix of those vectors. Call that $B$. Then given any basis of $V^*$, we can created a matrix $W$ out of those vectors. We can then create a matrix $U$ as $(WB^T)^-1W$. That is, we take the outer product of $B$ and $W$, evaluate the entries according to our inner product, take the inverse, and then use the resulting numbers as coefficients to create linear combinations of the vectors in $W$. Then when we take $B^TU$, we get $B^T(WB^T)^-1W=B^T(B^T)^-1W^-1W=I$. So $U$ defines a basis that is orthonormal to $B$.
$endgroup$
add a comment |
$begingroup$
Combining elements of other answers:
I think that what José Carlos Santos is getting at is that there is, to some extent, some "abuse of notation" in presenting polynomials (elements of $V$) as being basis vectors of $V^*$. Given any inner product $(u,v)$, there is a natural isomorphism between $phi: V rightarrow V^*$, namely $phi(v)(u) = (u,v)$ That is, $phi$ is a function on $V rightarrow V^*$, so its output is a function $V rightarrow mathbb R$, so applying $phi$ to $v$ returns a function that can be applied to $u$, and the output of that function is a real number equal to the inner product of $u$ and $v$. So if we want to be truly rigorous, then rather than saying that $4−6x,−6+12x$ is a basis for $V^*$, we should say that $phi(4−6x),phi(−6+12x)$ is a basis for $V^*$.
As for verifying this claim, it's a simple matter of verifying that vectors of corresponding indices have inner product of $1$, and all other pairs have inner product of $0$. Or, in other words, finding the outer product of $[1,x]^T[4−6x,−6+12x]$ and verifying that it results in the identity matrix.
If you were attempting to find the basis of $V^*$ that corresponds to $1,x$, rather than verifying an existing one, taking $[1,x]^T[1,x]$ yields $beginpmatrix (1,x)& (1,x) \ (x,1) & (x,x)endpmatrix$, which evaluates to $beginpmatrix 1 ½ \ frac 12& frac 13endpmatrix$, and the inverse of that is $beginpmatrix 4& -6 \ -6 & 12endpmatrix$, which gives you the vectors $4-6x$ and $-6+12x$.
We could have taken another set of vectors, and the the final matrix would have given the coefficients for the basis vectors in terms of those vectors. That is, if we have some basis of $V$, we can build a matrix of those vectors. Call that $B$. Then given any basis of $V^*$, we can created a matrix $W$ out of those vectors. We can then create a matrix $U$ as $(WB^T)^-1W$. That is, we take the outer product of $B$ and $W$, evaluate the entries according to our inner product, take the inverse, and then use the resulting numbers as coefficients to create linear combinations of the vectors in $W$. Then when we take $B^TU$, we get $B^T(WB^T)^-1W=B^T(B^T)^-1W^-1W=I$. So $U$ defines a basis that is orthonormal to $B$.
$endgroup$
add a comment |
$begingroup$
Combining elements of other answers:
I think that what José Carlos Santos is getting at is that there is, to some extent, some "abuse of notation" in presenting polynomials (elements of $V$) as being basis vectors of $V^*$. Given any inner product $(u,v)$, there is a natural isomorphism between $phi: V rightarrow V^*$, namely $phi(v)(u) = (u,v)$ That is, $phi$ is a function on $V rightarrow V^*$, so its output is a function $V rightarrow mathbb R$, so applying $phi$ to $v$ returns a function that can be applied to $u$, and the output of that function is a real number equal to the inner product of $u$ and $v$. So if we want to be truly rigorous, then rather than saying that $4−6x,−6+12x$ is a basis for $V^*$, we should say that $phi(4−6x),phi(−6+12x)$ is a basis for $V^*$.
As for verifying this claim, it's a simple matter of verifying that vectors of corresponding indices have inner product of $1$, and all other pairs have inner product of $0$. Or, in other words, finding the outer product of $[1,x]^T[4−6x,−6+12x]$ and verifying that it results in the identity matrix.
If you were attempting to find the basis of $V^*$ that corresponds to $1,x$, rather than verifying an existing one, taking $[1,x]^T[1,x]$ yields $beginpmatrix (1,x)& (1,x) \ (x,1) & (x,x)endpmatrix$, which evaluates to $beginpmatrix 1 ½ \ frac 12& frac 13endpmatrix$, and the inverse of that is $beginpmatrix 4& -6 \ -6 & 12endpmatrix$, which gives you the vectors $4-6x$ and $-6+12x$.
We could have taken another set of vectors, and the the final matrix would have given the coefficients for the basis vectors in terms of those vectors. That is, if we have some basis of $V$, we can build a matrix of those vectors. Call that $B$. Then given any basis of $V^*$, we can created a matrix $W$ out of those vectors. We can then create a matrix $U$ as $(WB^T)^-1W$. That is, we take the outer product of $B$ and $W$, evaluate the entries according to our inner product, take the inverse, and then use the resulting numbers as coefficients to create linear combinations of the vectors in $W$. Then when we take $B^TU$, we get $B^T(WB^T)^-1W=B^T(B^T)^-1W^-1W=I$. So $U$ defines a basis that is orthonormal to $B$.
$endgroup$
Combining elements of other answers:
I think that what José Carlos Santos is getting at is that there is, to some extent, some "abuse of notation" in presenting polynomials (elements of $V$) as being basis vectors of $V^*$. Given any inner product $(u,v)$, there is a natural isomorphism between $phi: V rightarrow V^*$, namely $phi(v)(u) = (u,v)$ That is, $phi$ is a function on $V rightarrow V^*$, so its output is a function $V rightarrow mathbb R$, so applying $phi$ to $v$ returns a function that can be applied to $u$, and the output of that function is a real number equal to the inner product of $u$ and $v$. So if we want to be truly rigorous, then rather than saying that $4−6x,−6+12x$ is a basis for $V^*$, we should say that $phi(4−6x),phi(−6+12x)$ is a basis for $V^*$.
As for verifying this claim, it's a simple matter of verifying that vectors of corresponding indices have inner product of $1$, and all other pairs have inner product of $0$. Or, in other words, finding the outer product of $[1,x]^T[4−6x,−6+12x]$ and verifying that it results in the identity matrix.
If you were attempting to find the basis of $V^*$ that corresponds to $1,x$, rather than verifying an existing one, taking $[1,x]^T[1,x]$ yields $beginpmatrix (1,x)& (1,x) \ (x,1) & (x,x)endpmatrix$, which evaluates to $beginpmatrix 1 ½ \ frac 12& frac 13endpmatrix$, and the inverse of that is $beginpmatrix 4& -6 \ -6 & 12endpmatrix$, which gives you the vectors $4-6x$ and $-6+12x$.
We could have taken another set of vectors, and the the final matrix would have given the coefficients for the basis vectors in terms of those vectors. That is, if we have some basis of $V$, we can build a matrix of those vectors. Call that $B$. Then given any basis of $V^*$, we can created a matrix $W$ out of those vectors. We can then create a matrix $U$ as $(WB^T)^-1W$. That is, we take the outer product of $B$ and $W$, evaluate the entries according to our inner product, take the inverse, and then use the resulting numbers as coefficients to create linear combinations of the vectors in $W$. Then when we take $B^TU$, we get $B^T(WB^T)^-1W=B^T(B^T)^-1W^-1W=I$. So $U$ defines a basis that is orthonormal to $B$.
answered Apr 30 at 18:56
AcccumulationAcccumulation
7,5662620
7,5662620
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3208465%2flinear-algebra-find-dual-space-base%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
1
$begingroup$
Consider the following two questions: What is the dual space $V^*$? And what does "the corresponding dual base" mean? Once you have answered these two questions, this should tell you what you are supposed to do.
$endgroup$
– Arthur
Apr 30 at 16:17
$begingroup$
The dual space is the set of all linear transformations from a vector space to its scalar field. The corresponding dual base means that the base I have to find is connected to the base given to the set V.
$endgroup$
– Lincon Ribeiro
Apr 30 at 16:20
1
$begingroup$
@LinconRiberio "the set of all linear transformations from a vector space to its scalar field" Is there any relationship between a vector space, its dual space an an inner product? "connected to the base given to the set V" And what is this connection?
$endgroup$
– Arthur
Apr 30 at 16:21
1
$begingroup$
@LincolnRibero You are entirely right that you must use the given basis for $V$. But I am asking a bit more explicitly. When they ask for "the corresponding dual base", there is one very specific property that this dual base should have that no other dual base has. Do you know what this property is?
$endgroup$
– Arthur
Apr 30 at 16:24
1
$begingroup$
Also, the elements of $V^*$ are linear transformations from $V$ to $Bbb R$ (or whatever the base field is). What is it that allows them to write its elements as polynomials as though they are elements of $V$? When they are talking about the element $4-6x$ of $V^*$, which linear transformation does that represent?
$endgroup$
– Arthur
Apr 30 at 16:27