Projective Transformation for two distinct vertices and a linear objective function 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)Projective and affine conic classificationVisualizing projective closures - is it okay to just think of the affine case?Optimizing over intersection of polytopes inside polytopeAre two halves of a convex polytope themselves convex?Extreme points of intersection of the orthant (quadrant) with an Hyperplane in finite dimension vectorial spaceUsing co-planarity to determine the points inside a triangleDifferences/ Similarities between different kinds of geometries.Point of intersection of lines in $mathbbRP^2$Projective classification of quadric from affine classificationIdentifying the Plane at Infinity in the World Necessitates Determining the Affine Geometry of the World?

Create an outline of font

Single author papers against my advisor's will?

ELI5: Why do they say that Israel would have been the fourth country to land a spacecraft on the Moon and why do they call it low cost?

Can the DM override racial traits?

Can smartphones with the same camera sensor have different image quality?

What's the point in a preamp?

Segmentation fault output is suppressed when piping stdin into a function. Why?

Is there a writing software that you can sort scenes like slides in PowerPoint?

What do you call a plan that's an alternative plan in case your initial plan fails?

He got a vote 80% that of Emmanuel Macron’s

How do you keep chess fun when your opponent constantly beats you?

Would it be possible to rearrange a dragon's flight muscle to somewhat circumvent the square-cube law?

Didn't get enough time to take a Coding Test - what to do now?

First use of “packing” as in carrying a gun

How to grep and cut numbers from a file and sum them

Semisimplicity of the category of coherent sheaves?

Typeface like Times New Roman but with "tied" percent sign

"... to apply for a visa" or "... and applied for a visa"?

When did F become S in typeography, and why?

Are my PIs rude or am I just being too sensitive?

Sort list of array linked objects by keys and values

Scientific Reports - Significant Figures

Arduino Pro Micro - switch off LEDs

Keeping a retro style to sci-fi spaceships?



Projective Transformation for two distinct vertices and a linear objective function



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)Projective and affine conic classificationVisualizing projective closures - is it okay to just think of the affine case?Optimizing over intersection of polytopes inside polytopeAre two halves of a convex polytope themselves convex?Extreme points of intersection of the orthant (quadrant) with an Hyperplane in finite dimension vectorial spaceUsing co-planarity to determine the points inside a triangleDifferences/ Similarities between different kinds of geometries.Point of intersection of lines in $mathbbRP^2$Projective classification of quadric from affine classificationIdentifying the Plane at Infinity in the World Necessitates Determining the Affine Geometry of the World?










1












$begingroup$


I am trying to understand how to prove the following, which seems to be a quite useful insight in terms of linear optimization. Unfortunately, I have a hard time with projective geometry. I'd greatly appreciate if someone could explain me how this can be done.




Suppose we have an $n$-dimensional polytope $P subseteq mathbbR^n$
and two distinct vertices $u$ and $v$. I want to show that there
exists a projective transformation $P rightarrow P'$ such that the
transformed vertices $u'$ and $v'$ have the smallest, respectively the
largest, $x_n$ coordinate among all vertices of $P'$.




Thanks in advance!



UPDATE: I think that this statement is not true if we replace "projective transformation" with "affine transformation". It might be true if we restrict to neighboring vertices $u$ and $v$ but I am not quite sure about that either. So if we suppose that this doesn't work in affine geometry, but it does in projective geometry, then I'd reckon that we somehow have to exploit the ability to map facets to the infinity hyperplane..










share|cite|improve this question











$endgroup$





This question has an open bounty worth +50
reputation from Doc ending ending at 2019-04-15 13:19:50Z">in 2 days.


This question has not received enough attention.




















    1












    $begingroup$


    I am trying to understand how to prove the following, which seems to be a quite useful insight in terms of linear optimization. Unfortunately, I have a hard time with projective geometry. I'd greatly appreciate if someone could explain me how this can be done.




    Suppose we have an $n$-dimensional polytope $P subseteq mathbbR^n$
    and two distinct vertices $u$ and $v$. I want to show that there
    exists a projective transformation $P rightarrow P'$ such that the
    transformed vertices $u'$ and $v'$ have the smallest, respectively the
    largest, $x_n$ coordinate among all vertices of $P'$.




    Thanks in advance!



    UPDATE: I think that this statement is not true if we replace "projective transformation" with "affine transformation". It might be true if we restrict to neighboring vertices $u$ and $v$ but I am not quite sure about that either. So if we suppose that this doesn't work in affine geometry, but it does in projective geometry, then I'd reckon that we somehow have to exploit the ability to map facets to the infinity hyperplane..










    share|cite|improve this question











    $endgroup$





    This question has an open bounty worth +50
    reputation from Doc ending ending at 2019-04-15 13:19:50Z">in 2 days.


    This question has not received enough attention.


















      1












      1








      1





      $begingroup$


      I am trying to understand how to prove the following, which seems to be a quite useful insight in terms of linear optimization. Unfortunately, I have a hard time with projective geometry. I'd greatly appreciate if someone could explain me how this can be done.




      Suppose we have an $n$-dimensional polytope $P subseteq mathbbR^n$
      and two distinct vertices $u$ and $v$. I want to show that there
      exists a projective transformation $P rightarrow P'$ such that the
      transformed vertices $u'$ and $v'$ have the smallest, respectively the
      largest, $x_n$ coordinate among all vertices of $P'$.




      Thanks in advance!



      UPDATE: I think that this statement is not true if we replace "projective transformation" with "affine transformation". It might be true if we restrict to neighboring vertices $u$ and $v$ but I am not quite sure about that either. So if we suppose that this doesn't work in affine geometry, but it does in projective geometry, then I'd reckon that we somehow have to exploit the ability to map facets to the infinity hyperplane..










      share|cite|improve this question











      $endgroup$




      I am trying to understand how to prove the following, which seems to be a quite useful insight in terms of linear optimization. Unfortunately, I have a hard time with projective geometry. I'd greatly appreciate if someone could explain me how this can be done.




      Suppose we have an $n$-dimensional polytope $P subseteq mathbbR^n$
      and two distinct vertices $u$ and $v$. I want to show that there
      exists a projective transformation $P rightarrow P'$ such that the
      transformed vertices $u'$ and $v'$ have the smallest, respectively the
      largest, $x_n$ coordinate among all vertices of $P'$.




      Thanks in advance!



      UPDATE: I think that this statement is not true if we replace "projective transformation" with "affine transformation". It might be true if we restrict to neighboring vertices $u$ and $v$ but I am not quite sure about that either. So if we suppose that this doesn't work in affine geometry, but it does in projective geometry, then I'd reckon that we somehow have to exploit the ability to map facets to the infinity hyperplane..







      projective-geometry projective-space polytopes discrete-geometry






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Apr 8 at 12:13







      Doc

















      asked Apr 6 at 12:42









      DocDoc

      322114




      322114






      This question has an open bounty worth +50
      reputation from Doc ending ending at 2019-04-15 13:19:50Z">in 2 days.


      This question has not received enough attention.








      This question has an open bounty worth +50
      reputation from Doc ending ending at 2019-04-15 13:19:50Z">in 2 days.


      This question has not received enough attention.






















          1 Answer
          1






          active

          oldest

          votes


















          1












          $begingroup$

          I guess it is not very rigorous to say about projective transformations of subsets of an affine space, beacuse they should deal with points at infinity, which formally do not belong to the space. So I have the following hand-waving idea. Since the polytope $P$ is convex, there exist hyperplanes $H_uni u$ and $H_vni v$ supporting $P$. If they are parallel then we draw $x$-axis perpendicularly to them. Otherwise we move the intersection $H_ucap H_v$ to infinity by a projective transformation, which will make the hyperplanes $H_u$ and $H_v$ parallel.






          share|cite|improve this answer









          $endgroup$








          • 1




            $begingroup$
            Thanks for the idea. I tried this using a particular polytope example and computed the projection etc, to get a better idea of projective transformation. What I still not have figured out. Lets say I use a projective transformation to move said intersection to infinity. What guarantees me that this projection is actually admissible for P, hence leaving me with a new proper polytope after transforming.
            $endgroup$
            – Doc
            yesterday










          • $begingroup$
            @Doc Let $(x, n_u)=c_u$ and $(x, n_v)=c_v$ be the equations of the hyperplanes $H_u$ and $H_v$, respectively such that $(y,n_u)le c_u$ and $(y,n_v)le c_v$ for each $yin P$. It is easy to check that a hyperplane $H$ determined by a equation $(x, n_u+n_v)=c_u+c_v$ contains $H_ucap H_v$ and is disjoint from $P$. I guess when we make $H$ the infinity hyperplane, $P$ will be transformed to a proper polytope.
            $endgroup$
            – Alex Ravsky
            18 hours ago











          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%2f3176958%2fprojective-transformation-for-two-distinct-vertices-and-a-linear-objective-funct%23new-answer', 'question_page');

          );

          Post as a guest















          Required, but never shown

























          1 Answer
          1






          active

          oldest

          votes








          1 Answer
          1






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes









          1












          $begingroup$

          I guess it is not very rigorous to say about projective transformations of subsets of an affine space, beacuse they should deal with points at infinity, which formally do not belong to the space. So I have the following hand-waving idea. Since the polytope $P$ is convex, there exist hyperplanes $H_uni u$ and $H_vni v$ supporting $P$. If they are parallel then we draw $x$-axis perpendicularly to them. Otherwise we move the intersection $H_ucap H_v$ to infinity by a projective transformation, which will make the hyperplanes $H_u$ and $H_v$ parallel.






          share|cite|improve this answer









          $endgroup$








          • 1




            $begingroup$
            Thanks for the idea. I tried this using a particular polytope example and computed the projection etc, to get a better idea of projective transformation. What I still not have figured out. Lets say I use a projective transformation to move said intersection to infinity. What guarantees me that this projection is actually admissible for P, hence leaving me with a new proper polytope after transforming.
            $endgroup$
            – Doc
            yesterday










          • $begingroup$
            @Doc Let $(x, n_u)=c_u$ and $(x, n_v)=c_v$ be the equations of the hyperplanes $H_u$ and $H_v$, respectively such that $(y,n_u)le c_u$ and $(y,n_v)le c_v$ for each $yin P$. It is easy to check that a hyperplane $H$ determined by a equation $(x, n_u+n_v)=c_u+c_v$ contains $H_ucap H_v$ and is disjoint from $P$. I guess when we make $H$ the infinity hyperplane, $P$ will be transformed to a proper polytope.
            $endgroup$
            – Alex Ravsky
            18 hours ago















          1












          $begingroup$

          I guess it is not very rigorous to say about projective transformations of subsets of an affine space, beacuse they should deal with points at infinity, which formally do not belong to the space. So I have the following hand-waving idea. Since the polytope $P$ is convex, there exist hyperplanes $H_uni u$ and $H_vni v$ supporting $P$. If they are parallel then we draw $x$-axis perpendicularly to them. Otherwise we move the intersection $H_ucap H_v$ to infinity by a projective transformation, which will make the hyperplanes $H_u$ and $H_v$ parallel.






          share|cite|improve this answer









          $endgroup$








          • 1




            $begingroup$
            Thanks for the idea. I tried this using a particular polytope example and computed the projection etc, to get a better idea of projective transformation. What I still not have figured out. Lets say I use a projective transformation to move said intersection to infinity. What guarantees me that this projection is actually admissible for P, hence leaving me with a new proper polytope after transforming.
            $endgroup$
            – Doc
            yesterday










          • $begingroup$
            @Doc Let $(x, n_u)=c_u$ and $(x, n_v)=c_v$ be the equations of the hyperplanes $H_u$ and $H_v$, respectively such that $(y,n_u)le c_u$ and $(y,n_v)le c_v$ for each $yin P$. It is easy to check that a hyperplane $H$ determined by a equation $(x, n_u+n_v)=c_u+c_v$ contains $H_ucap H_v$ and is disjoint from $P$. I guess when we make $H$ the infinity hyperplane, $P$ will be transformed to a proper polytope.
            $endgroup$
            – Alex Ravsky
            18 hours ago













          1












          1








          1





          $begingroup$

          I guess it is not very rigorous to say about projective transformations of subsets of an affine space, beacuse they should deal with points at infinity, which formally do not belong to the space. So I have the following hand-waving idea. Since the polytope $P$ is convex, there exist hyperplanes $H_uni u$ and $H_vni v$ supporting $P$. If they are parallel then we draw $x$-axis perpendicularly to them. Otherwise we move the intersection $H_ucap H_v$ to infinity by a projective transformation, which will make the hyperplanes $H_u$ and $H_v$ parallel.






          share|cite|improve this answer









          $endgroup$



          I guess it is not very rigorous to say about projective transformations of subsets of an affine space, beacuse they should deal with points at infinity, which formally do not belong to the space. So I have the following hand-waving idea. Since the polytope $P$ is convex, there exist hyperplanes $H_uni u$ and $H_vni v$ supporting $P$. If they are parallel then we draw $x$-axis perpendicularly to them. Otherwise we move the intersection $H_ucap H_v$ to infinity by a projective transformation, which will make the hyperplanes $H_u$ and $H_v$ parallel.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered 2 days ago









          Alex RavskyAlex Ravsky

          43.2k32583




          43.2k32583







          • 1




            $begingroup$
            Thanks for the idea. I tried this using a particular polytope example and computed the projection etc, to get a better idea of projective transformation. What I still not have figured out. Lets say I use a projective transformation to move said intersection to infinity. What guarantees me that this projection is actually admissible for P, hence leaving me with a new proper polytope after transforming.
            $endgroup$
            – Doc
            yesterday










          • $begingroup$
            @Doc Let $(x, n_u)=c_u$ and $(x, n_v)=c_v$ be the equations of the hyperplanes $H_u$ and $H_v$, respectively such that $(y,n_u)le c_u$ and $(y,n_v)le c_v$ for each $yin P$. It is easy to check that a hyperplane $H$ determined by a equation $(x, n_u+n_v)=c_u+c_v$ contains $H_ucap H_v$ and is disjoint from $P$. I guess when we make $H$ the infinity hyperplane, $P$ will be transformed to a proper polytope.
            $endgroup$
            – Alex Ravsky
            18 hours ago












          • 1




            $begingroup$
            Thanks for the idea. I tried this using a particular polytope example and computed the projection etc, to get a better idea of projective transformation. What I still not have figured out. Lets say I use a projective transformation to move said intersection to infinity. What guarantees me that this projection is actually admissible for P, hence leaving me with a new proper polytope after transforming.
            $endgroup$
            – Doc
            yesterday










          • $begingroup$
            @Doc Let $(x, n_u)=c_u$ and $(x, n_v)=c_v$ be the equations of the hyperplanes $H_u$ and $H_v$, respectively such that $(y,n_u)le c_u$ and $(y,n_v)le c_v$ for each $yin P$. It is easy to check that a hyperplane $H$ determined by a equation $(x, n_u+n_v)=c_u+c_v$ contains $H_ucap H_v$ and is disjoint from $P$. I guess when we make $H$ the infinity hyperplane, $P$ will be transformed to a proper polytope.
            $endgroup$
            – Alex Ravsky
            18 hours ago







          1




          1




          $begingroup$
          Thanks for the idea. I tried this using a particular polytope example and computed the projection etc, to get a better idea of projective transformation. What I still not have figured out. Lets say I use a projective transformation to move said intersection to infinity. What guarantees me that this projection is actually admissible for P, hence leaving me with a new proper polytope after transforming.
          $endgroup$
          – Doc
          yesterday




          $begingroup$
          Thanks for the idea. I tried this using a particular polytope example and computed the projection etc, to get a better idea of projective transformation. What I still not have figured out. Lets say I use a projective transformation to move said intersection to infinity. What guarantees me that this projection is actually admissible for P, hence leaving me with a new proper polytope after transforming.
          $endgroup$
          – Doc
          yesterday












          $begingroup$
          @Doc Let $(x, n_u)=c_u$ and $(x, n_v)=c_v$ be the equations of the hyperplanes $H_u$ and $H_v$, respectively such that $(y,n_u)le c_u$ and $(y,n_v)le c_v$ for each $yin P$. It is easy to check that a hyperplane $H$ determined by a equation $(x, n_u+n_v)=c_u+c_v$ contains $H_ucap H_v$ and is disjoint from $P$. I guess when we make $H$ the infinity hyperplane, $P$ will be transformed to a proper polytope.
          $endgroup$
          – Alex Ravsky
          18 hours ago




          $begingroup$
          @Doc Let $(x, n_u)=c_u$ and $(x, n_v)=c_v$ be the equations of the hyperplanes $H_u$ and $H_v$, respectively such that $(y,n_u)le c_u$ and $(y,n_v)le c_v$ for each $yin P$. It is easy to check that a hyperplane $H$ determined by a equation $(x, n_u+n_v)=c_u+c_v$ contains $H_ucap H_v$ and is disjoint from $P$. I guess when we make $H$ the infinity hyperplane, $P$ will be transformed to a proper polytope.
          $endgroup$
          – Alex Ravsky
          18 hours ago

















          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%2f3176958%2fprojective-transformation-for-two-distinct-vertices-and-a-linear-objective-funct%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

          Bosc Connection Yimello Approaching Angry The produce zaps the market. 구성 기록되다 변경...

          WordPress Information needed

          Hidroelektrana Sadržaj Povijest | Podjela hidroelektrana | Snaga dobivena u hidroelektranama | Dijelovi hidroelektrane | Uloga hidroelektrana u suvremenom svijetu | Prednosti hidroelektrana | Nedostaci hidroelektrana | Države s najvećom proizvodnjom hidro-električne energije | Deset najvećih hidroelektrana u svijetu | Hidroelektrane u Hrvatskoj | Izvori | Poveznice | Vanjske poveznice | Navigacijski izbornikTechnical Report, Version 2Zajedničkom poslužiteljuHidroelektranaHEP Proizvodnja d.o.o. - Hidroelektrane u Hrvatskoj