Borsuk-Ulam theorem for the loop space of a sphere (Q1616999)

Let \(s_0 \in \mathbb{S}^n\) and \(\Omega \mathbb{S}^n = \{\alpha : I \to \mathbb{S}^n \mid \alpha(0) = \alpha(1) = s_0\}\) be the loop space based at \(s_0.\) For a loop \(\alpha\), define \(\alpha^*(t) = \alpha(1 - t)\) and \(\Omega_{tf} = \{\alpha \in \Omega \mathbb{S}^n\mid \alpha = \alpha^*\}\). For any mapping \(f:\Omega \mathbb{S}^n \setminus \Omega_{tf} \to \mathbb{R}^k\) denote \[ A_f = \{\alpha \in \Omega \mathbb{S}^n \setminus \Omega_{tf}\mid f(\alpha) = f(\alpha^* \}. \] In the paper under review, the author proves the following Borsuk-Ulam type result: Theorem 1. (A) If \(k< n\), then for every \(f: \Omega \mathbb{S}^n \setminus \Omega_{tf} \to \mathbb{R}^k\), \(\dim(A_f) = \infty\). (B) If \(k = n\), then for every such map \(f\), \(A_f \neq \phi\).