nForum - Search Results Feed (Tag: plane)Sat, 05 Oct 2024 01:24:36 +0000
https://nforum.ncatlab.org/
Lussumo Vanilla 1.1.10 & Feed Publisher
Redundant constraints in Linear Programming
https://nforum.ncatlab.org/discussion/7582/
https://nforum.ncatlab.org/discussion/7582/Mon, 23 Jan 2017 14:00:42 +0000Murat_Aygen
A facet of an n-polytope (having the origin in its interior) is redundant iff its out-normal is within of the polar body spanned by out-normals of the other facets. If this out-normal is on the boundary of the polar body, then the plane of the redundant facet supports (is tangent to) the n-polytope in question. Are these true?
]]>
Topology of the Projective Plane
https://nforum.ncatlab.org/discussion/7565/
https://nforum.ncatlab.org/discussion/7565/Wed, 11 Jan 2017 17:30:14 +0000Murat_Aygen
The identity RP^2 − {0} = μ is as real as the familiar C + {∞} = S^2 where RP^2 is the Projective Plane, 0 is its natural origin, μ is the Mobius Strip, C is the Complex Plane and S^2 is the sphere. I can give a formal proof of this if anyone is interested.
]]>