{"id":139,"date":"2020-06-22T07:23:06","date_gmt":"2020-06-22T07:23:06","guid":{"rendered":"https:\/\/wp.asc.ohio-state.edu\/george.924\/?p=139"},"modified":"2020-06-23T03:47:46","modified_gmt":"2020-06-23T03:47:46","slug":"symplectic-spaces","status":"publish","type":"post","link":"https:\/\/wp.asc.ohio-state.edu\/george.924\/index.php\/2020\/06\/22\/symplectic-spaces\/","title":{"rendered":"Symplectic Spaces"},"content":{"rendered":"\n\n\n

<\/p>\n\n\n\n

We come across vector spaces equipped with an inner-product frequently. But instead of an inner product, we could have a skew-symmetric and non-degenerate bilinear form on it. Such spaces are called as symplectic vector spaces. More formally,<\/p>\n\n\n\n

Definition: Let \"V\" be an \"n\"-dimensional real vector space and \"\\omega: be a bilinear map such that\n
\n
1. \"\\omega(u,v)=-\\omega(v,u)\". (skew-symmetry)\n\n
2. \"\\omega(u,v)=0\" for all \"v\\in implies that \"u=0\". (non-degeneracy)\n
\n
Then the pair \"(V,\\omega)\" is called a symplectic vector space where \"\\omega\" is called the symplectic form.\n<\/blockquote>\n\n\n\n

The biggest difference when working with a symplectic space as compared to an inner-product space is that the subspaces need not be well-behaved. That is, you can have subspaces \"W\" of \"V\" which are not symplectic with respect to the restricted form \"\\omega|_{W\\times. This makes the theory of symplectic spaces much more interesting. Let\u2019s first construct the analog of an orthonormal basis for symplectic spaces. <\/p>\n\n\n\n

Let \"(V,\\omega)\" be a symplectic space. We chose two vectors \"u_1\" and \"v_1\" from \"V\" such that \"\\omega(u_1,v_1)\\neq. This is possible because of non-degeneracy (condition 2). Normalize one of these vectors so that \"\\omega(u_1,v_1)=1\". Now we argue that \"V\" can be decomposed as the direct sum of \"W\" and \"W^{\\bot}\", where \"W=\\text{span}\\{u_1,v_1\\}\" and \"W^{\\bot}=\\{v\\;|\\;\\omega(v,w)=0. <\/p>\n\n\n\n

If \"v\\in then \"v=au_1+bv_1\". If also \"v\\in, then this would imply that \"a=b=0\". <\/p>\n\n\n\n

If \"v\\in and we have \"\\omega(v,u_1)=-b\", \"\\omega(v,v_1)=a\", then we can write \"v=(au_1+bv_1)+(v-au_1-bv_1)\".<\/p>\n\n\n\n

So \"V=W\\oplus. Now we can perform the same set of steps on the space \"W^{\\bot}\" to get vectors \"\\{u_2,v_2\\}\". Iterating this many times, we can write \"V=W_1\\oplus, where \"W_{k}=\\text{span}\\{u_k,v_k\\}\". Hence the set \"\\{u_1,u_2,\\hdots,u_m,v_1,v_2\\hdots,v_m\\}\" forms a special basis for our symplectic space \"V\". This basis has the following properties<\/p>\n\n\n\n

\"\\omega(u_i,v_j)=\\delta_{ij}\" for \"1\\leq.\n
\"\\omega(u_i,u_j)=0=\\omega(v_i,v_j)\" for \"1\\leq.\n<\/blockquote>\n\n\n\n

<\/p>\n\n\n\n

This set is called as a symplectic basis for \"(V,\\omega)\". This basis is not unique but the number \"m\" is invariant, as should be clear from the proof. If we look carefully, we have also shown an important feature of symplectic spaces, that it has to have an even dimension always. In fact given any even number \"2n\", we can easily construct a symplectic space of this dimension: \"(\\mathbb{R}^{2n},\\omega)\", where we declare the standard basis \"\\{e_1,\\hdots,e_n,e_{n+1},\\hdots,e_{2n}\\}\" to be the symplectic basis. This fully defines the form \"\\omega\" because of bilinearity. \"(\\mathbb{R}^{2n},\\omega)\" is the model symplectic space to keep in mind. We call a set of vectors \"\\{u_1,\\hdots,u_k,v_1,\\hdots,v_n\\}\" to be cross-orthonormal if it is of the above form (need not necessarily form a basis). We will also need to define what an isomorphism is in this category.<\/p>\n\n\n\n

\n\nAn isomorphism between symplectic spaces \"(V,\\omega_0)\\to is a linear isomorphism \"T:V\\to that also preserves the symplectic form, in the following sense \n\n

\u00a0 <\/span> \u00a0 <\/span>\"\\[\\omega_0(u,v)=\\omega_1(Tu,Tv)\\]\"<\/p>\n\"T\" is then called a symplectomorphism between \"(V,\\omega_0)\" and \"(W,\\omega_1)\".\n\n<\/blockquote>\n\n\n\n

Now we investigate the different types of subspaces that a symplectic space could have.<\/p>\n\n\n\n

  1. Let \"W\" be a vector subspace of \"V\" such that \"\\omega|_{W\\times is non-degenerate. Then we call it a symplectic<\/strong> subspace of \"V\".<\/li>
  2. Let \"W\" be a subspace such that \"\\omega|_{W\\times is zero, that is \"\\omega(u,v)=0\" for all \"u,v\\in. Then we call \"W\" an isotropic<\/strong> subspace of \"V\".<\/li>
  3. If \"W^{\\bot}\" is an isotropic space, then \"W\" is called as a co-isotropic<\/strong> subspace of \"V\".<\/li><\/ol>\n\n\n\n

    Given a symplectic basis \"\\{u_1,u_2,\\hdots,u_m,v_1,v_2\\hdots,v_m\\}\", its easy to construct examples of such subspaces.<\/p>\n\n\n\n

    1. \"\\text{span}\\{u_1,v_1\\}\" is symplectic.<\/li>
    2. \"\\text{span}\\{u_1,u_2,u_3\\}\" is isotropic.<\/li>
    3. \"\\text{span}\\{u_1,u_2,\\hdots,u_m,v_1,v_2\\}\" is co-isotropic.<\/li><\/ol>\n\n\n\n

      We can see from these examples that there is a borderline case that looks like \"\\text{span}\\{u_1,u_2,\\hdots,u_m\\}\". This is indeed special and is called as a Lagrangian<\/strong> subspace. Its a subspace that is both isotropic and co-isotropic. We conclude this note with an interesting result involving Lagrangian subspaces.<\/p>\n\n\n\n

      Let \"L\" be a Lagrangian subspace of \"V\" and let \"L^*\" denote its dual. Then \"(V,\\omega)\" is naturally symplectomorphic to \"L\\oplus equipped with the following symplectic form\n

      \u00a0 <\/span> \u00a0 <\/span>\"\\[\\omega_1((v,\\alpha),(w,\\beta))=\\beta(v)-\\alpha(w)\\]\"<\/p>\n<\/blockquote>\n\n\n\n

      <\/p>\n\n\n\n

      <\/p>\n\n\n\n

      <\/p>\n\n\n\n\n\n\n\n\n","protected":false},"excerpt":{"rendered":"

      We come across vector spaces equipped with an inner-product frequently. But instead of an inner product, we could have a skew-symmetric and non-degenerate bilinear form on it. Such spaces are called as symplectic vector spaces. More formally, Definition: Let be an -dimensional real vector space and be a bilinear map such that 1. . (skew-symmetry) […]<\/p>\n","protected":false},"author":3,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[15],"tags":[14,11,16],"class_list":["post-139","post","type-post","status-publish","format-standard","hentry","category-linear-algebra","tag-linear-algebra","tag-symplectic","tag-vector-spaces"],"_links":{"self":[{"href":"https:\/\/wp.asc.ohio-state.edu\/george.924\/index.php\/wp-json\/wp\/v2\/posts\/139","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/wp.asc.ohio-state.edu\/george.924\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/wp.asc.ohio-state.edu\/george.924\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/wp.asc.ohio-state.edu\/george.924\/index.php\/wp-json\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/wp.asc.ohio-state.edu\/george.924\/index.php\/wp-json\/wp\/v2\/comments?post=139"}],"version-history":[{"count":71,"href":"https:\/\/wp.asc.ohio-state.edu\/george.924\/index.php\/wp-json\/wp\/v2\/posts\/139\/revisions"}],"predecessor-version":[{"id":219,"href":"https:\/\/wp.asc.ohio-state.edu\/george.924\/index.php\/wp-json\/wp\/v2\/posts\/139\/revisions\/219"}],"wp:attachment":[{"href":"https:\/\/wp.asc.ohio-state.edu\/george.924\/index.php\/wp-json\/wp\/v2\/media?parent=139"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/wp.asc.ohio-state.edu\/george.924\/index.php\/wp-json\/wp\/v2\/categories?post=139"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/wp.asc.ohio-state.edu\/george.924\/index.php\/wp-json\/wp\/v2\/tags?post=139"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}