A topological KKM theorem and minimax theorems
type: Item
instance of: scholarly article
title: A topological KKM theorem and minimax theorems
zbMATH Open document ID: 0830.54037
author: Xian Wu
author: Shihsen Chang
author: Shuwen Xiang
published in: Journal of Mathematical Analysis and Applications
publication date: 1994-07-04T00:00:00Z
review text: The Knaster-Kuratowski-Mazurkiewicz theorem for a class of multifunctions between 2 Hausdorff topological spaces (without linear structure) \(X\) and \(Y\) with the following property: \[ \underset {x_0 \in X} \forall\;\underset {\{x_n\}, x_n \to x_0} \forall\;[\text{ if } y_0 \notin F(x_n) \text{ for all \(n\), then } y_0 \notin F(x_0)] \] is proved; here \(\{x_n\}\) is a net in \(X\). This theorem is then used in the proof of the following ``minimax theorem'': If \(f, g : X \times Y \to \mathbb{R}\) are functions such that: \(g(x, \cdot)\), \(g(\cdot, y)\) both are u.s.c., \(f(x, \cdot)\) is l.s.c., \(f(x,y) \leq g(x,y)\) for all \(x\in X\), \(y \in Y\), for any finite set \(\{x_1, \dots, x_n\} \subset X\) and any \(r\in \mathbb{R}\) the set \(\{y \in Y : g(x_i,y) < r\), \(i = 1, \dots, n\}\) is connected, for any \(x_1, x_2 \in X\) there exists a connected subset \(X \supset C \supset \{x_1, x_2\}\) such that \(g(x,y) \geq \max \{g(x_1, y), g(x_2, y)\}\) for all \(x \in C\) and all \(y \in Y\), \(Y\) is a compact space, then \(\sup_{x \in X} \inf_{y \in Y} g(x,y) \geq \inf_{y \in Y} \sup_{x \in X} f(x,y).\) Four slightly different versions of this ``minimax theorem'' are also proved.
reviewed by: Z.Wyderka
Mathematics Subject Classification ID: 54H25
zbMATH DE Number: 584088
zbMATH Keywords: minimax inequality
zbMATH Keywords: Knaster-Kuratowski-Mazurkiewicz theorem
MaRDI profile type: Publication
full work available at URL: jmaa.1994.1119
OpenAlex ID: W2013006656
DOI: 10.1006/JMAA.1994.1119
description: scientific article; zbMATH DE number 584088