25.7. MAXIMAL MONOTONE OPERATORS 873

Thus, letting C ≡max{∥x∥ : x ∈ A}

εC2 +maxy∈B

minx∈A

H (x,y)≥minx∈A

maxy∈B

H (x,y)

Since ε is arbitrary, it follows that

maxy∈B

minx∈A

H (x,y)≥minx∈A

maxy∈B

H (x,y)

This proves the first part because it was shown above in 25.7.42 that

minx∈A

maxy∈B

H (x,y)≥maxy∈B

minx∈A

H (x,y)

Now consider 25.7.41 about the existence of a “saddle point” given the equality ofminmax and maxmin. Let

α = maxy∈B

minx∈A

H (x,y) = minx∈A

maxy∈B

H (x,y)

Then fromy→min

x∈AH (x,y) and x→max

y∈BH (x,y)

being upper semicontinuous and lower semicontinuous respectively, there exist y0 and x0such that

α = minx∈A

H (x,y0) =

.

maxy∈B

minimum of u.s.cminx∈A

H (x,y) = minx∈A

maximum of l.s.c.maxy∈B

H (x,y) = maxy∈B

H (x0,y)

Then

α = maxy∈B

H (x0,y)≥ H (x0,y0)

α = minx∈A

H (x,y0)≤ H (x0,y0)

so in fact α = H (x0,y0) and from the above equalities,

H (x0,y0) = α = minx∈A

H (x,y0)≤ H (x,y0)

H (x0,y0) = α = maxy∈B

H (x0,y)≥ H (x0,y)

and soH (x0,y)≤ H (x0,y0)≤ H (x,y0)

Thus if the minmax condition holds, then there exists a saddle point, namely (x0,y0).Finally suppose there is a saddle point (x0,y0) where

H (x0,y)≤ H (x0,y0)≤ H (x,y0)

Then

minx∈A

maxy∈B

H (x,y)≤maxy∈B

H (x0,y)≤ H (x0,y0)≤minx∈A

H (x,y0)≤maxy∈B

minx∈A

H (x,y)