Difference between revisions of "Passing to the infimum/Statement"
From Maths
(Created page with "<noinclude> : '''Note: ''' if you came here from a search engine, you should see '''''Passing to the infimum''''' as this is a subpage for transclusion. ==Statement== </no...") |
(No difference)
|
Latest revision as of 00:55, 21 May 2016
- Note: if you came here from a search engine, you should see Passing to the infimum as this is a subpage for transclusion.
Statement
Let [ilmath]A,B\subseteq X[/ilmath] be subsets of [ilmath]X[/ilmath] where [ilmath](X,\preceq)[/ilmath] is a poset. Then:
- If [ilmath]\forall a\in A\exists b\in B[b\preceq a][/ilmath] then [ilmath]\text{inf}(B)\preceq\text{inf}(A)[/ilmath] (provided both infima exist)
- Note: See Passing to the infimum for a discussion of the motivation and conditions
References
