Clarifying topological concepts: induced/weak/initial topology and weakly compact

functional-analysisgeneral-topology

I am a self-studying student on functional analysis and I have multiple times bumped into the same definitions from general topology that are not 100% clear for me. For this reason, I wanted to post these definitions to this post and ask the community if my understanding is correct or not.

Next, I will go through the definitions (taken from Wikipedia) with added interpretations of my own.

  1. A topology $\tau$ induced on set $A$ by function $f$ is the coarsest
    topology such that $f$ is continuous.

My interpretation: $\tau$ is the smallest set of subsets of $A$, for which $f:\tau\to \text{codomain($f$)}$ is continuous.

  1. The weak topology (or initial topology) $\tau$ on a set $A$, with respect to a
    family of functions $\mathcal{F}$ on $A$, is the coarsest topology on $A$ that makes
    those functions continuous.

My interpretation: $\tau$ is the smallest set of subsets of $A$, for which all the functions $f:\tau\to \text{codomain($f$)},\;f\in\mathcal{F}$ are continuous.

  1. One may call subsets $B$ of a topological space weakly compact, if they
    are compact with respect to the weak topology.

My interpretation: Let $\tau$ be a weak topology on a set $A$. The subsets $B\subset A$ are called weakly compact, if they are compact and $B\in\tau$.

My question for the community is: Are my interpretations correct?

Best Answer

Your interpretations for 1 and 2 are correct (except that $f : A \to \text{codomain}(f)$, not $f : \tau \to \text{codomain}(f)$). But they hide a very important part of the process, and from what you write I cannot tell whether you are aware of this.

A topology $\tau$ must satisfy some axioms: (1) the intersection of any two elements of $\tau$ is an element of $\tau$; (2) the union of any collection of elements of $\tau$ is an element of $\tau$; (3) the entire set, and the empty set, are elements of $\tau$.

Your version of 1, for example, says that $\tau$ is the set of all subsets of $A$ the form $f^{-1}(U)$ where $U$ is an element of the topology of $\text{codomain}(f)$.

This begs a big question: Does $\tau$ satisfy the axioms it is supposed to satisfy?

The answer is: Yes it does, but that requires some proof.

The outline of the proof is: Each of the three axioms (1), (2), and (3) for the topology on $\text{codomain}(f)$ implies the same axiom for $\tau$ itself.


Your interpretation for 3 has an error, the correct statement would be that $B$ is weakly compact if it is compact with respect to the subspace topology on $B$ that is induced from $\tau$.

Added in response to a comment from the OP: I don't know how to express compactness of $B$ directly in terms of $\tau$ other than to repeat the standard definition: for every collection of elements $\{U_i\}_{i \in I}$ of $\tau$ such that $B \subset \cup_i U_i$, there exists a finite subset $\{i_1,...,i_N\} \subset I$ such that $B \subset \cup_{n=1}^N U_{i_n}$. This does not imply that $B \in \tau$. Think about the compact subset $[0,1] \subset \mathbb R$ which is not an open subset of $\mathbb R$ (i.e. is not an element of the usual topology on $\mathbb R$).

Related Question