Talk:Closed Convex Set in terms of Bounded Linear Functionals

From ProofWiki
Jump to navigation Jump to search

These infimums and supremums may/will often be infinite and so probably demand more care, but we do not have much on infinite sups/infs, that's still on my to-do list. For now the linked results only deal with finite sups/infs. Just wanted to strike this stuff off since it's been sitting idle in my sandbox for a few months. Caliburn (talk) 12:54, 25 July 2022 (UTC)

Actually idk what I'm on about, the sups/infs in the contrapositive part are obviously going to be finite since the given $f$ is bounded below. But the definition used in the first part assumes $f$ is bounded above which a generic $f$ may not be and that will need to be replaced at some point. Caliburn (talk) 13:00, 25 July 2022 (UTC)