Prove $V$ over finite field of $q$ elements can be written as union of $q + 1$ proper subspaces











up vote
1
down vote

favorite












Let $V$ be a vector space (can be finite or infinite) over finite field $K$, such that $dim V > 1$ and $|K| = q < infty$. Prove there exist proper subspaces $V_0, dots, V_q$ such that $V = V_0 cup dots cup V_q$. I have no idea where to start from.










share|cite|improve this question




















  • 5




    i'd do it first for $dim V=2$.
    – Lord Shark the Unknown
    Nov 23 at 7:27








  • 3




    Pick two linearly independent maps $a, b : V to K$. For each $k in K$, let $V_k = left{v in V mid aleft(vright) = k bleft(vright)right}$. Also, let $V_infty = left{v in V mid bleft(vright) = 0 right}$. Then, $V = V_infty cup bigcup_{k in K} V_k$.
    – darij grinberg
    Nov 23 at 18:23















up vote
1
down vote

favorite












Let $V$ be a vector space (can be finite or infinite) over finite field $K$, such that $dim V > 1$ and $|K| = q < infty$. Prove there exist proper subspaces $V_0, dots, V_q$ such that $V = V_0 cup dots cup V_q$. I have no idea where to start from.










share|cite|improve this question




















  • 5




    i'd do it first for $dim V=2$.
    – Lord Shark the Unknown
    Nov 23 at 7:27








  • 3




    Pick two linearly independent maps $a, b : V to K$. For each $k in K$, let $V_k = left{v in V mid aleft(vright) = k bleft(vright)right}$. Also, let $V_infty = left{v in V mid bleft(vright) = 0 right}$. Then, $V = V_infty cup bigcup_{k in K} V_k$.
    – darij grinberg
    Nov 23 at 18:23













up vote
1
down vote

favorite









up vote
1
down vote

favorite











Let $V$ be a vector space (can be finite or infinite) over finite field $K$, such that $dim V > 1$ and $|K| = q < infty$. Prove there exist proper subspaces $V_0, dots, V_q$ such that $V = V_0 cup dots cup V_q$. I have no idea where to start from.










share|cite|improve this question















Let $V$ be a vector space (can be finite or infinite) over finite field $K$, such that $dim V > 1$ and $|K| = q < infty$. Prove there exist proper subspaces $V_0, dots, V_q$ such that $V = V_0 cup dots cup V_q$. I have no idea where to start from.







linear-algebra combinatorics vector-spaces finite-fields






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Nov 23 at 12:48









Zvi

4,065328




4,065328










asked Nov 23 at 7:24









user4201961

625411




625411








  • 5




    i'd do it first for $dim V=2$.
    – Lord Shark the Unknown
    Nov 23 at 7:27








  • 3




    Pick two linearly independent maps $a, b : V to K$. For each $k in K$, let $V_k = left{v in V mid aleft(vright) = k bleft(vright)right}$. Also, let $V_infty = left{v in V mid bleft(vright) = 0 right}$. Then, $V = V_infty cup bigcup_{k in K} V_k$.
    – darij grinberg
    Nov 23 at 18:23














  • 5




    i'd do it first for $dim V=2$.
    – Lord Shark the Unknown
    Nov 23 at 7:27








  • 3




    Pick two linearly independent maps $a, b : V to K$. For each $k in K$, let $V_k = left{v in V mid aleft(vright) = k bleft(vright)right}$. Also, let $V_infty = left{v in V mid bleft(vright) = 0 right}$. Then, $V = V_infty cup bigcup_{k in K} V_k$.
    – darij grinberg
    Nov 23 at 18:23








5




5




i'd do it first for $dim V=2$.
– Lord Shark the Unknown
Nov 23 at 7:27






i'd do it first for $dim V=2$.
– Lord Shark the Unknown
Nov 23 at 7:27






3




3




Pick two linearly independent maps $a, b : V to K$. For each $k in K$, let $V_k = left{v in V mid aleft(vright) = k bleft(vright)right}$. Also, let $V_infty = left{v in V mid bleft(vright) = 0 right}$. Then, $V = V_infty cup bigcup_{k in K} V_k$.
– darij grinberg
Nov 23 at 18:23




Pick two linearly independent maps $a, b : V to K$. For each $k in K$, let $V_k = left{v in V mid aleft(vright) = k bleft(vright)right}$. Also, let $V_infty = left{v in V mid bleft(vright) = 0 right}$. Then, $V = V_infty cup bigcup_{k in K} V_k$.
– darij grinberg
Nov 23 at 18:23










2 Answers
2






active

oldest

votes

















up vote
3
down vote



accepted











We claim that if $V$ is a vector space over a finite field $K$ of order $q$ such that $dim V>1$, and $m$ is a non-negative integer, then $V$ can be written as a union of $m$ proper subspaces of $V$ if and only if $mgeq q+1$. (From the proof below, it also follows that if $K$ is not finite, then there is no way to cover a vector space $V$ over $K$ with $dim V>1$ by finitely many proper subspaces.)




First suppose that $mgeq q+1$. It suffices to assume that $m=q+1$. Pick a basis $mathcal{B}$ of $V$. Let $a,binmathcal{B}$ be two distinct elements (noting that $|mathcal{B}|>1$ since $dim V>1$). For each $kin K$, we define $V_k$ to be the span of ${a+kb}cupbig(mathcal{B}setminus{a,b}big)$, and $U$ is the span of $mathcal{B}setminus{a}$. Show that
$V=Ucup bigcup_{kin K}V_k$.



Conversely, suppose that $V$ can be written as a union of $m$ proper subspaces $W_1,W_2,ldots,W_m$ with $m$ being smallest possible (from the previous paragraph we know $m$ exists, so taking the smallest one is possible). It is easy to see that $m>1$. By minimality of $m$, for any $i$, we have $W_inotsubseteq bigcup_{jneq i}W_j$.



Take $uin W_1setminusbigcup_{jneq1}W_j$ and $vin W_2setminusbigcup_{jneq 2}W_j$. Since $u+svin V$ for all $sin K$ such that $sneq 0$, we must have $u+svin W_j$ for some $j$. We claim that the assignment $sin Ksetminus{0}$ to the smallest $j$ such that $u+svin W_j$ is an injective function from $Ksetminus{0}$ to ${3,4,ldots,m}$. From here, it follows that $$q-1=big|Ksetminus{0}big|leq big|{3,4,ldots,m}big|=m-2,$$
establishing our claim.



Now, to prove the assertion in the previous paragraph, we first note that $u+svnotin W_1$ and $u+svnotin W_2$ for $sne 0$. If $u+svin W_1$, then $v=s^{-1}big((u+sv)-ubig)in W_1$ since $uin W_1$, which is a contradiction. If $u+svin W_2$, then $u=(u+sv)-svin W_2$ since $vin W_2$, which is also a contradiction. So, $u+svin W_j$ for some $jin{3,4,ldots,m}$.



Now, suppose that there are two non-zero $s,tin K$ such that $u+sv$ and $u+tv$ are in the same $W_i$, where $iin{3,4,ldots,m}$. Then,
$$v=(s-t)^{-1}big((u+sv)-(u+tv)big)in W_i.$$
But $vin W_2setminus bigcup_{jneq 2}W_j$, so we have another contradiction. The assertion is now proven.






share|cite|improve this answer






























    up vote
    5
    down vote













    Hint: If $(x_1,x_2,ldots)in V$ then either $x_1=0$ or there exists $cin K$ with $x_2=cx_1$.






    share|cite|improve this answer





















      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',
      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%2f3010079%2fprove-v-over-finite-field-of-q-elements-can-be-written-as-union-of-q-1-p%23new-answer', 'question_page');
      }
      );

      Post as a guest















      Required, but never shown

























      2 Answers
      2






      active

      oldest

      votes








      2 Answers
      2






      active

      oldest

      votes









      active

      oldest

      votes






      active

      oldest

      votes








      up vote
      3
      down vote



      accepted











      We claim that if $V$ is a vector space over a finite field $K$ of order $q$ such that $dim V>1$, and $m$ is a non-negative integer, then $V$ can be written as a union of $m$ proper subspaces of $V$ if and only if $mgeq q+1$. (From the proof below, it also follows that if $K$ is not finite, then there is no way to cover a vector space $V$ over $K$ with $dim V>1$ by finitely many proper subspaces.)




      First suppose that $mgeq q+1$. It suffices to assume that $m=q+1$. Pick a basis $mathcal{B}$ of $V$. Let $a,binmathcal{B}$ be two distinct elements (noting that $|mathcal{B}|>1$ since $dim V>1$). For each $kin K$, we define $V_k$ to be the span of ${a+kb}cupbig(mathcal{B}setminus{a,b}big)$, and $U$ is the span of $mathcal{B}setminus{a}$. Show that
      $V=Ucup bigcup_{kin K}V_k$.



      Conversely, suppose that $V$ can be written as a union of $m$ proper subspaces $W_1,W_2,ldots,W_m$ with $m$ being smallest possible (from the previous paragraph we know $m$ exists, so taking the smallest one is possible). It is easy to see that $m>1$. By minimality of $m$, for any $i$, we have $W_inotsubseteq bigcup_{jneq i}W_j$.



      Take $uin W_1setminusbigcup_{jneq1}W_j$ and $vin W_2setminusbigcup_{jneq 2}W_j$. Since $u+svin V$ for all $sin K$ such that $sneq 0$, we must have $u+svin W_j$ for some $j$. We claim that the assignment $sin Ksetminus{0}$ to the smallest $j$ such that $u+svin W_j$ is an injective function from $Ksetminus{0}$ to ${3,4,ldots,m}$. From here, it follows that $$q-1=big|Ksetminus{0}big|leq big|{3,4,ldots,m}big|=m-2,$$
      establishing our claim.



      Now, to prove the assertion in the previous paragraph, we first note that $u+svnotin W_1$ and $u+svnotin W_2$ for $sne 0$. If $u+svin W_1$, then $v=s^{-1}big((u+sv)-ubig)in W_1$ since $uin W_1$, which is a contradiction. If $u+svin W_2$, then $u=(u+sv)-svin W_2$ since $vin W_2$, which is also a contradiction. So, $u+svin W_j$ for some $jin{3,4,ldots,m}$.



      Now, suppose that there are two non-zero $s,tin K$ such that $u+sv$ and $u+tv$ are in the same $W_i$, where $iin{3,4,ldots,m}$. Then,
      $$v=(s-t)^{-1}big((u+sv)-(u+tv)big)in W_i.$$
      But $vin W_2setminus bigcup_{jneq 2}W_j$, so we have another contradiction. The assertion is now proven.






      share|cite|improve this answer



























        up vote
        3
        down vote



        accepted











        We claim that if $V$ is a vector space over a finite field $K$ of order $q$ such that $dim V>1$, and $m$ is a non-negative integer, then $V$ can be written as a union of $m$ proper subspaces of $V$ if and only if $mgeq q+1$. (From the proof below, it also follows that if $K$ is not finite, then there is no way to cover a vector space $V$ over $K$ with $dim V>1$ by finitely many proper subspaces.)




        First suppose that $mgeq q+1$. It suffices to assume that $m=q+1$. Pick a basis $mathcal{B}$ of $V$. Let $a,binmathcal{B}$ be two distinct elements (noting that $|mathcal{B}|>1$ since $dim V>1$). For each $kin K$, we define $V_k$ to be the span of ${a+kb}cupbig(mathcal{B}setminus{a,b}big)$, and $U$ is the span of $mathcal{B}setminus{a}$. Show that
        $V=Ucup bigcup_{kin K}V_k$.



        Conversely, suppose that $V$ can be written as a union of $m$ proper subspaces $W_1,W_2,ldots,W_m$ with $m$ being smallest possible (from the previous paragraph we know $m$ exists, so taking the smallest one is possible). It is easy to see that $m>1$. By minimality of $m$, for any $i$, we have $W_inotsubseteq bigcup_{jneq i}W_j$.



        Take $uin W_1setminusbigcup_{jneq1}W_j$ and $vin W_2setminusbigcup_{jneq 2}W_j$. Since $u+svin V$ for all $sin K$ such that $sneq 0$, we must have $u+svin W_j$ for some $j$. We claim that the assignment $sin Ksetminus{0}$ to the smallest $j$ such that $u+svin W_j$ is an injective function from $Ksetminus{0}$ to ${3,4,ldots,m}$. From here, it follows that $$q-1=big|Ksetminus{0}big|leq big|{3,4,ldots,m}big|=m-2,$$
        establishing our claim.



        Now, to prove the assertion in the previous paragraph, we first note that $u+svnotin W_1$ and $u+svnotin W_2$ for $sne 0$. If $u+svin W_1$, then $v=s^{-1}big((u+sv)-ubig)in W_1$ since $uin W_1$, which is a contradiction. If $u+svin W_2$, then $u=(u+sv)-svin W_2$ since $vin W_2$, which is also a contradiction. So, $u+svin W_j$ for some $jin{3,4,ldots,m}$.



        Now, suppose that there are two non-zero $s,tin K$ such that $u+sv$ and $u+tv$ are in the same $W_i$, where $iin{3,4,ldots,m}$. Then,
        $$v=(s-t)^{-1}big((u+sv)-(u+tv)big)in W_i.$$
        But $vin W_2setminus bigcup_{jneq 2}W_j$, so we have another contradiction. The assertion is now proven.






        share|cite|improve this answer

























          up vote
          3
          down vote



          accepted







          up vote
          3
          down vote



          accepted







          We claim that if $V$ is a vector space over a finite field $K$ of order $q$ such that $dim V>1$, and $m$ is a non-negative integer, then $V$ can be written as a union of $m$ proper subspaces of $V$ if and only if $mgeq q+1$. (From the proof below, it also follows that if $K$ is not finite, then there is no way to cover a vector space $V$ over $K$ with $dim V>1$ by finitely many proper subspaces.)




          First suppose that $mgeq q+1$. It suffices to assume that $m=q+1$. Pick a basis $mathcal{B}$ of $V$. Let $a,binmathcal{B}$ be two distinct elements (noting that $|mathcal{B}|>1$ since $dim V>1$). For each $kin K$, we define $V_k$ to be the span of ${a+kb}cupbig(mathcal{B}setminus{a,b}big)$, and $U$ is the span of $mathcal{B}setminus{a}$. Show that
          $V=Ucup bigcup_{kin K}V_k$.



          Conversely, suppose that $V$ can be written as a union of $m$ proper subspaces $W_1,W_2,ldots,W_m$ with $m$ being smallest possible (from the previous paragraph we know $m$ exists, so taking the smallest one is possible). It is easy to see that $m>1$. By minimality of $m$, for any $i$, we have $W_inotsubseteq bigcup_{jneq i}W_j$.



          Take $uin W_1setminusbigcup_{jneq1}W_j$ and $vin W_2setminusbigcup_{jneq 2}W_j$. Since $u+svin V$ for all $sin K$ such that $sneq 0$, we must have $u+svin W_j$ for some $j$. We claim that the assignment $sin Ksetminus{0}$ to the smallest $j$ such that $u+svin W_j$ is an injective function from $Ksetminus{0}$ to ${3,4,ldots,m}$. From here, it follows that $$q-1=big|Ksetminus{0}big|leq big|{3,4,ldots,m}big|=m-2,$$
          establishing our claim.



          Now, to prove the assertion in the previous paragraph, we first note that $u+svnotin W_1$ and $u+svnotin W_2$ for $sne 0$. If $u+svin W_1$, then $v=s^{-1}big((u+sv)-ubig)in W_1$ since $uin W_1$, which is a contradiction. If $u+svin W_2$, then $u=(u+sv)-svin W_2$ since $vin W_2$, which is also a contradiction. So, $u+svin W_j$ for some $jin{3,4,ldots,m}$.



          Now, suppose that there are two non-zero $s,tin K$ such that $u+sv$ and $u+tv$ are in the same $W_i$, where $iin{3,4,ldots,m}$. Then,
          $$v=(s-t)^{-1}big((u+sv)-(u+tv)big)in W_i.$$
          But $vin W_2setminus bigcup_{jneq 2}W_j$, so we have another contradiction. The assertion is now proven.






          share|cite|improve this answer















          We claim that if $V$ is a vector space over a finite field $K$ of order $q$ such that $dim V>1$, and $m$ is a non-negative integer, then $V$ can be written as a union of $m$ proper subspaces of $V$ if and only if $mgeq q+1$. (From the proof below, it also follows that if $K$ is not finite, then there is no way to cover a vector space $V$ over $K$ with $dim V>1$ by finitely many proper subspaces.)




          First suppose that $mgeq q+1$. It suffices to assume that $m=q+1$. Pick a basis $mathcal{B}$ of $V$. Let $a,binmathcal{B}$ be two distinct elements (noting that $|mathcal{B}|>1$ since $dim V>1$). For each $kin K$, we define $V_k$ to be the span of ${a+kb}cupbig(mathcal{B}setminus{a,b}big)$, and $U$ is the span of $mathcal{B}setminus{a}$. Show that
          $V=Ucup bigcup_{kin K}V_k$.



          Conversely, suppose that $V$ can be written as a union of $m$ proper subspaces $W_1,W_2,ldots,W_m$ with $m$ being smallest possible (from the previous paragraph we know $m$ exists, so taking the smallest one is possible). It is easy to see that $m>1$. By minimality of $m$, for any $i$, we have $W_inotsubseteq bigcup_{jneq i}W_j$.



          Take $uin W_1setminusbigcup_{jneq1}W_j$ and $vin W_2setminusbigcup_{jneq 2}W_j$. Since $u+svin V$ for all $sin K$ such that $sneq 0$, we must have $u+svin W_j$ for some $j$. We claim that the assignment $sin Ksetminus{0}$ to the smallest $j$ such that $u+svin W_j$ is an injective function from $Ksetminus{0}$ to ${3,4,ldots,m}$. From here, it follows that $$q-1=big|Ksetminus{0}big|leq big|{3,4,ldots,m}big|=m-2,$$
          establishing our claim.



          Now, to prove the assertion in the previous paragraph, we first note that $u+svnotin W_1$ and $u+svnotin W_2$ for $sne 0$. If $u+svin W_1$, then $v=s^{-1}big((u+sv)-ubig)in W_1$ since $uin W_1$, which is a contradiction. If $u+svin W_2$, then $u=(u+sv)-svin W_2$ since $vin W_2$, which is also a contradiction. So, $u+svin W_j$ for some $jin{3,4,ldots,m}$.



          Now, suppose that there are two non-zero $s,tin K$ such that $u+sv$ and $u+tv$ are in the same $W_i$, where $iin{3,4,ldots,m}$. Then,
          $$v=(s-t)^{-1}big((u+sv)-(u+tv)big)in W_i.$$
          But $vin W_2setminus bigcup_{jneq 2}W_j$, so we have another contradiction. The assertion is now proven.







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited Nov 23 at 16:00

























          answered Nov 23 at 12:29









          Zvi

          4,065328




          4,065328






















              up vote
              5
              down vote













              Hint: If $(x_1,x_2,ldots)in V$ then either $x_1=0$ or there exists $cin K$ with $x_2=cx_1$.






              share|cite|improve this answer

























                up vote
                5
                down vote













                Hint: If $(x_1,x_2,ldots)in V$ then either $x_1=0$ or there exists $cin K$ with $x_2=cx_1$.






                share|cite|improve this answer























                  up vote
                  5
                  down vote










                  up vote
                  5
                  down vote









                  Hint: If $(x_1,x_2,ldots)in V$ then either $x_1=0$ or there exists $cin K$ with $x_2=cx_1$.






                  share|cite|improve this answer












                  Hint: If $(x_1,x_2,ldots)in V$ then either $x_1=0$ or there exists $cin K$ with $x_2=cx_1$.







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered Nov 23 at 7:43









                  Hagen von Eitzen

                  275k21268495




                  275k21268495






























                      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.





                      Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


                      Please pay close attention to the following guidance:


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


                      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%2f3010079%2fprove-v-over-finite-field-of-q-elements-can-be-written-as-union-of-q-1-p%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

                      Le Mesnil-Réaume

                      Ida-Boy-Ed-Garten

                      web3.py web3.isConnected() returns false always