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)$













4












$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?










share|cite|improve this question











$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
















4












$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?










share|cite|improve this question











$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














4












4








4





$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?










share|cite|improve this question











$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






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








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













  • 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











5 Answers
5






active

oldest

votes


















5












$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.






share|cite|improve this answer









$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



















3












$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$.






share|cite|improve this answer











$endgroup$




















    3












    $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$.






    share|cite|improve this answer











    $endgroup$




















      1












      $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$.






      share|cite|improve this answer









      $endgroup$




















        1












        $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 &frac12 \ 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$.






        share|cite|improve this answer









        $endgroup$













          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
          );



          );













          draft saved

          draft discarded


















          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









          5












          $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.






          share|cite|improve this answer









          $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
















          5












          $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.






          share|cite|improve this answer









          $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














          5












          5








          5





          $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.






          share|cite|improve this answer









          $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.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          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

















          • $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












          3












          $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$.






          share|cite|improve this answer











          $endgroup$

















            3












            $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$.






            share|cite|improve this answer











            $endgroup$















              3












              3








              3





              $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$.






              share|cite|improve this answer











              $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$.







              share|cite|improve this answer














              share|cite|improve this answer



              share|cite|improve this answer








              edited Apr 30 at 17:18

























              answered Apr 30 at 16:20









              José Carlos SantosJosé Carlos Santos

              182k24142256




              182k24142256





















                  3












                  $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$.






                  share|cite|improve this answer











                  $endgroup$

















                    3












                    $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$.






                    share|cite|improve this answer











                    $endgroup$















                      3












                      3








                      3





                      $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$.






                      share|cite|improve this answer











                      $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$.







                      share|cite|improve this answer














                      share|cite|improve this answer



                      share|cite|improve this answer








                      edited Apr 30 at 17:21

























                      answered Apr 30 at 16:58









                      Ivo TerekIvo Terek

                      47.5k954148




                      47.5k954148





















                          1












                          $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$.






                          share|cite|improve this answer









                          $endgroup$

















                            1












                            $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$.






                            share|cite|improve this answer









                            $endgroup$















                              1












                              1








                              1





                              $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$.






                              share|cite|improve this answer









                              $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$.







                              share|cite|improve this answer












                              share|cite|improve this answer



                              share|cite|improve this answer










                              answered Apr 30 at 16:23









                              zipirovichzipirovich

                              11.5k11831




                              11.5k11831





















                                  1












                                  $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 &frac12 \ 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$.






                                  share|cite|improve this answer









                                  $endgroup$

















                                    1












                                    $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 &frac12 \ 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$.






                                    share|cite|improve this answer









                                    $endgroup$















                                      1












                                      1








                                      1





                                      $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 &frac12 \ 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$.






                                      share|cite|improve this answer









                                      $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 &frac12 \ 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$.







                                      share|cite|improve this answer












                                      share|cite|improve this answer



                                      share|cite|improve this answer










                                      answered Apr 30 at 18:56









                                      AcccumulationAcccumulation

                                      7,5662620




                                      7,5662620



























                                          draft saved

                                          draft discarded
















































                                          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.




                                          draft saved


                                          draft discarded














                                          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





















































                                          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







                                          Popular posts from this blog

                                          How to write a 12-bar blues melodyI-IV-V blues progressionHow to play the bridges in a standard blues progressionHow does Gdim7 fit in C# minor?question on a certain chord progressionMusicology of Melody12 bar blues, spread rhythm: alternative to 6th chord to avoid finger stretchChord progressions/ Root key/ MelodiesHow to put chords (POP-EDM) under a given lead vocal melody (starting from a good knowledge in music theory)Are there “rules” for improvising with the minor pentatonic scale over 12-bar shuffle?Confusion about blues scale and chords

                                          What if the end-user didn't have the required library?What is setup.py?What is a clean, pythonic way to have multiple constructors in Python?What does Ruby have that Python doesn't, and vice versa?What is the reason for having '//' in Python?How do I create a namespace package in Python?How to package shared objects that python modules depend on?setuptools vs. distutils: why is distutils still a thing?Navigation in Windows 10 vs code not going to virtualenv library when the same library is installed at user levelPython create package for local usePackaging a project that uses multiple python versionsWhy is permission denied on pip install except for when “--user” is included at end of command?

                                          Esgonzo ibérico Índice Descrición Distribución Hábitat Ameazas Notas Véxase tamén "Acerca dos nomes dos anfibios e réptiles galegos""Chalcides bedriagai"Chalcides bedriagai en Carrascal, L. M. Salvador, A. (Eds). Enciclopedia virtual de los vertebrados españoles. Museo Nacional de Ciencias Naturales, Madrid. España.Fotos