Variants of The Polarization Identity The 2019 Stack Overflow Developer Survey Results Are InProving $sumlimits_i=1^k | langle x,v_i rangle langle y,v_irangle| leq |x|cdot |y|$How to motivate the axioms for the inner productNorms on inner product space over $mathbbR$Showing inner product comes from a norm defined using Polarization IdentityInner product identityGeneralization of Cauchy-Schwarz to positive operatorsVector inequality $(langle Ax,y rangle^2) le (langle Ax,xrangle * langle Ay,yrangle)$Very general inner product determinant inequalityProve: $|langle u,v rangle|= |u|cdot |v|iff u=alpha v$Does Cauchy-Schwarz hold for: $ langletextbfu,textbfvrangle ;leq ||textbfu|| cdot ||textbfv|| $

What is the motivation for a law requiring 2 parties to consent for recording a conversation

Why hard-Brexiteers don't insist on a hard border to prevent illegal immigration after Brexit?

Am I thawing this London Broil safely?

Deal with toxic manager when you can't quit

If a Druid sees an animal’s corpse, can they wild shape into that animal?

Does the shape of a die affect the probability of a number being rolled?

Lightning Grid - Columns and Rows?

Can someone be penalized for an "unlawful" act if no penalty is specified?

What does Linus Torvalds mean when he says that Git "never ever" tracks a file?

What did it mean to "align" a radio?

Is bread bad for ducks?

Earliest use of the term "Galois extension"?

Can a flute soloist sit?

Is there any way to tell whether the shot is going to hit you or not?

Does a dangling wire really electrocute me if I'm standing in water?

Worn-tile Scrabble

Write faster on AT24C32

Multiply Two Integer Polynomials

What is the meaning of the verb "bear" in this context?

How to deal with fear of taking dependencies

How to answer pointed "are you quitting" questioning when I don't want them to suspect

Origin of "cooter" meaning "vagina"

"as much details as you can remember"

Why didn't the Event Horizon Telescope team mention Sagittarius A*?



Variants of The Polarization Identity



The 2019 Stack Overflow Developer Survey Results Are InProving $sumlimits_i=1^k | langle x,v_i rangle langle y,v_irangle| leq |x|cdot |y|$How to motivate the axioms for the inner productNorms on inner product space over $mathbbR$Showing inner product comes from a norm defined using Polarization IdentityInner product identityGeneralization of Cauchy-Schwarz to positive operatorsVector inequality $(langle Ax,y rangle^2) le (langle Ax,xrangle * langle Ay,yrangle)$Very general inner product determinant inequalityProve: $|langle u,v rangle|= |u|cdot |v|iff u=alpha v$Does Cauchy-Schwarz hold for: $ langletextbfu,textbfvrangle ;leq ||textbfu|| cdot ||textbfv|| $










1












$begingroup$


A problem in Steele's Cauchy Schwarz Master Class asks the reader to prove these "variants of the polarization identity".



Let $langle cdot, cdot rangle$ be a complex inner product and $alpha in mathbbC$ with $alpha^N = 1$ but $alpha^2 neq 1$. Then
$$ langle x,y rangle = frac1N sum_n=0^N-1 left|x+alpha^n y right|^2 alpha^n quad textand quad langle x,y rangle = frac12pi int_-pi^pi left|x+e^ithetay right|^2 e^i theta dtheta.$$



I can prove it, so I'll pose the more important question(s): How does one find these? Is there any intuitive (e.g. geometric) interpretation? Where in mathematics do these come up?










share|cite|improve this question











$endgroup$
















    1












    $begingroup$


    A problem in Steele's Cauchy Schwarz Master Class asks the reader to prove these "variants of the polarization identity".



    Let $langle cdot, cdot rangle$ be a complex inner product and $alpha in mathbbC$ with $alpha^N = 1$ but $alpha^2 neq 1$. Then
    $$ langle x,y rangle = frac1N sum_n=0^N-1 left|x+alpha^n y right|^2 alpha^n quad textand quad langle x,y rangle = frac12pi int_-pi^pi left|x+e^ithetay right|^2 e^i theta dtheta.$$



    I can prove it, so I'll pose the more important question(s): How does one find these? Is there any intuitive (e.g. geometric) interpretation? Where in mathematics do these come up?










    share|cite|improve this question











    $endgroup$














      1












      1








      1





      $begingroup$


      A problem in Steele's Cauchy Schwarz Master Class asks the reader to prove these "variants of the polarization identity".



      Let $langle cdot, cdot rangle$ be a complex inner product and $alpha in mathbbC$ with $alpha^N = 1$ but $alpha^2 neq 1$. Then
      $$ langle x,y rangle = frac1N sum_n=0^N-1 left|x+alpha^n y right|^2 alpha^n quad textand quad langle x,y rangle = frac12pi int_-pi^pi left|x+e^ithetay right|^2 e^i theta dtheta.$$



      I can prove it, so I'll pose the more important question(s): How does one find these? Is there any intuitive (e.g. geometric) interpretation? Where in mathematics do these come up?










      share|cite|improve this question











      $endgroup$




      A problem in Steele's Cauchy Schwarz Master Class asks the reader to prove these "variants of the polarization identity".



      Let $langle cdot, cdot rangle$ be a complex inner product and $alpha in mathbbC$ with $alpha^N = 1$ but $alpha^2 neq 1$. Then
      $$ langle x,y rangle = frac1N sum_n=0^N-1 left|x+alpha^n y right|^2 alpha^n quad textand quad langle x,y rangle = frac12pi int_-pi^pi left|x+e^ithetay right|^2 e^i theta dtheta.$$



      I can prove it, so I'll pose the more important question(s): How does one find these? Is there any intuitive (e.g. geometric) interpretation? Where in mathematics do these come up?







      norm inner-product-space






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Apr 6 at 22:20







      Kezer

















      asked Apr 6 at 9:05









      KezerKezer

      1,405621




      1,405621




















          0






          active

          oldest

          votes












          Your Answer





          StackExchange.ifUsing("editor", function ()
          return StackExchange.using("mathjaxEditing", function ()
          StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
          StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
          );
          );
          , "mathjax-editing");

          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%2f3176787%2fvariants-of-the-polarization-identity%23new-answer', 'question_page');

          );

          Post as a guest















          Required, but never shown

























          0






          active

          oldest

          votes








          0






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes















          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%2f3176787%2fvariants-of-the-polarization-identity%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

          What does it mean to find percent difference when two values are equivalent? The 2019 Stack Overflow Developer Survey Results Are InWhat does “percent of change” mean?Find what percent X is between two numbers?Unable to determine 'original amount' in simple percentage problemsWhat is the correct percent difference formula?How does proportionality hold when quantities are high? And the percentage increase formulaprofit and loss GRE questionProfitability calculationWhat is the difference between $xtimes 0.8$ and $x div 1.2 ? $Finding the percent probability of completing BUDs trainingCalculating Percent Difference with zero and near zero values

          Why did some early computer designers eschew integers?What register size did early computers use?What other computers used this floating-point format?Why did so many early microcomputers use the MOS 6502 and variants?Why were early computers named “Mark”?Why did expert systems fall?Why were early personal computer monitors not green?When did “Zen” in computer programming become a thing?History of advanced hardwareWere there any working computers using residue number systems?Why did some CPUs use two Read/Write lines, and others just one?

          How to avoid repetitive long generic constraints in Rust The 2019 Stack Overflow Developer Survey Results Are In Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern) The Ask Question Wizard is Live! Data science time! April 2019 and salary with experienceIs it possible to automatically implement a trait for any tuple that is made up of types that all implement the trait?Is there a constraint that restricts my generic method to numeric types?How can foreign key constraints be temporarily disabled using T-SQL?How do I use reflection to call a generic method?How to create a generic array in Java?How to get a class instance of generics type THow is `last` allowed to be called for an Args value?How to implement a trait for a parameterized traitAvoiding PhantomData in a struct to enforce type constraintsIs it possible to return part of a struct by reference?Associated References types as Value Types