Talk:Maximum theorem

Systems: Control theory Mid‑importance

	Systems science portal This article is within the scope of WikiProject Systems, which collaborates on articles related to systems and systems science.SystemsWikipedia:WikiProject SystemsTemplate:WikiProject SystemsSystems
Mid	This article has been rated as Mid-importance on the project's importance scale.
	This article is within the field of Control theory.

Economics Mid‑importance

	Business and economics portal This article is within the scope of WikiProject Economics, a collaborative effort to improve the coverage of Economics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.EconomicsWikipedia:WikiProject EconomicsTemplate:WikiProject EconomicsEconomics
Mid	This article has been rated as Mid-importance on the project's importance scale.

Mathematics Low‑priority

	Mathematics portal This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics
Low	This article has been rated as Low-priority on the project's priority scale.

Could someone please edit this article to define "compact-valued correspondence" and the meaning of the double-arrow-point??? Otherwise the article is just technobabble. 98.155.236.135 (talk) 19:06, 28 July 2014 (UTC)[reply]

Error in theorem statement

If I am not completely mistaken, then the continuity of C at theta only guarantees f* to be continuous at theta and C* to be upper hemicontinuous and compact valued at theta, not globally. 120.51.141.38 (talk) 05:04, 19 May 2023 (UTC)[reply]

Possible error?

Under "Variants and generalizations", the article states:

"If $f$ is concave and $C$ has a convex graph, then $f^{*}$ is concave and $C^{*}$ is convex-valued. Similarly to above, if $f$ is strictly concave, then $C^{*}$ is a continuous function."

I believe this is incorrect... shouldn't f* be convex rather than concave ? Consider a simple example where $f^{*}(v)=\arg \max _{z\in Z}v\cdot z$ for a strictly convex set $Z\in \mathbb {R} ^{I}$ . Then $C(v)\equiv Z$ has a convex graph and f is linear (and hence concave). However, let now $v,w\in \mathbb {R} ^{I}$ , $t\in (0,1)$ and $z^{*}=\arg \max _{z\in Z}(tv+(1-t)w)\cdot z$ . Then $tf^{*}(v)+(1-t)f^{*}(w)\geq t(v\cdot z^{*})+(1-t)(w\cdot z^{*})=f^{*}(tv+(1-t)w)$ ,

which implies convexity, not concavity. Shysquirrel (talk) 09:50, 20 December 2024 (UTC)[reply]

I don't understand how f* in the proposed counterexample is a value function (in the sense of Maximum theorem#Statement of theorem) Saung Tadashi (talk) 22:24, 23 December 2024 (UTC)[reply]

My bad, I should have written f*= max (or sup), not arg max. The argmax is z* in the example. Shysquirrel (talk) 08:20, 24 December 2024 (UTC)[reply]

I think I got the problem. In the cited reference (Sundaram, Rangarajan K. (1996). A First Course in Optimization Theory. Cambridge University Press. p. 237. ISBN 0-521-49770-1) it states that f should be concave in

X\times \Theta

. While f is linear in

X

and in

\Theta

, f is not linear in the Cartesian product. Does it make sense? Saung Tadashi (talk) 17:47, 24 December 2024 (UTC)[reply]

Oh I see. Thanks for clarifying! I tried looking up the reference but do not have access to it – and did not read the statement carefully enough. Shysquirrel (talk) 08:34, 27 December 2024 (UTC)[reply]