(R,≤) poset , ∅≠A⊆R alttan sınırlı bir altküme ve c∈R olmak üzere
‘‘c<0⇒c.A,üstten sınırlı" önermesi doğru mudur? Yanıtınızı kanıtlayınız.
Not: c.A={c.a|a∈A}
"(R,≤) poset" derken ≤, R üzerinde HERHANGİ bir sıralama mı yoksa bilinen sıralama mı kastediliyor?
\begin{array}{rcl} A \text{, alttan sınırlı} & \Rightarrow & A^{a}\neq\emptyset \\ & \Rightarrow & (\exists x\in\mathbb{R})(x\in A^{a}) \\ &\Rightarrow& \begin{array}{c} \\ \left.\begin{array}{rr} (\forall a\in A)(x\leq a) \\ c<0 \end{array}\right\} \Rightarrow \end{array} \\ & \Rightarrow & (c.a\in c.A)(c.a\leq c.x) \\ & \Rightarrow & c.x\in (c.A)^{ü} \\ & \Rightarrow & (c.A)^{ü}\neq\emptyset \\ & \Rightarrow & c.A \text{, üstten sınırlı.} \end{array}