The compactness tag is for questions about compactness and its many variants (e.g. sequential compactness, countable compactness) as well locally compact spaces; compactifications (e.g. one-point, Stone-Čech) and other topics closely related to compactness.

learn more… | top users | synonyms

7
votes
0answers
204 views

defining a topology by its compact sets

The goal. Let $X$ be a set endowed with Hausdorff topologies $\tau_w$ and $\tau_n$, such that $\tau_w\subseteq\tau_n$. Let $\mathscr{C}$ denote a family of subsets $A\subseteq X$, which satisfies ...
7
votes
0answers
120 views

An example of a compact multiplicatively unbounded ring

My teacher asked me to build an associative topological Hausdorff compact ring $R$ with $1$, which is multiplicatively unbounded. That means there is a neighborhood $U\ni 1$ such that $FU\not=R$ for ...
5
votes
0answers
63 views

Elementary proof of compact space = exhaustible space?

(This is a repost of a question I asked last year on cs.stackexchange.) The work of Martín Escardó has demonstrated close parallels between classical topology on one hand and computability on the ...
5
votes
0answers
136 views

Is dependent choice necessary to prove every perfect compact Hausdorff space is uncountable?

The answer to Cardinality of a locally compact space without isolated point shows that AC is required to show that if $X$ is a compact Hausdorff space with no isolated points then $|X| \ge ...
4
votes
0answers
41 views

$E$ compact, real-valued $f : E \to \mathbb{R}$ continuous iff graph is compact - is real valued necessary?

Problem The graph $G$ of $f$ is defined as the points $(x, f(x))$ for $x \in E$. Suppose $E \subset \mathbb{R}$ is compact, then $f : E \to \mathbb{R}$ is continuous iff its graph is compact. ...
4
votes
0answers
108 views

Compact family of Lip functions under the sup norm metric, proof verification.

Hi everyone I'd like to know if the following is correct, I'd appreciate your opinion and also any suggestion to improve my argument. Thanks in advance for your time. If $(K,d)$ is a compact ...
4
votes
0answers
76 views

Compactness of a set of bounded functions in the uniform norm

Let $T$ be a non-degenerate compact interval in $\mathbb R$ and $f:\mathbb R^2\to\mathbb R$ a strictly concave function such that (a) $f(0,0)=0$, (b) $f$ strictly increases in the first argument, and ...
4
votes
0answers
146 views

Locally connected and compact Hausdorff space invariant of continuous mappings

I am looking for a reference (not proof) to the following theorem: If $X$ is a compact and locally connected topological space, Y is a Hausdorff topological space, $f:X\to Y$ is continuous and ...
4
votes
0answers
85 views

Is $X$ pseudocompact

The following example with a little modified from the handbook of set theoretic topology, Page 574: Let $\kappa$ be any cardinal for which there exists a family $\{H_\alpha: \alpha < \kappa\}$ ...
4
votes
0answers
284 views

If $f: X \to Y$, when do we have $\beta Y \supset \overline{f(X)} = \beta X$?

Suppose that $X$ and $Y$ are Tychonoff spaces, denote by $\beta X$ and $\beta Y$ their Stone-Čech compactifications and let $f:X\to Y$ be a continuous map. Using the embedding $Y\hookrightarrow\beta ...
4
votes
0answers
66 views

A question on countably compact space under CH

The question is also posted here. A regular space $X$ is star compact (which implies pseudocompact) with $G_\delta$-diagonal star countable first countable $e(X)\le \aleph_0$ ( in fact it implies ...
4
votes
0answers
194 views

Constructing the support of a Borel measure

From Rudin, Real and Complex Analysis, Chapter 8, Problem 7, 1st Edition. Suppose $E$ is a compact set in $\mathbb{R}^{k}$ without isolated points. Show that $E$ is the support of a continuous ...
4
votes
0answers
67 views

Classes of compact spaces

Given a class $\mathcal{C}$ of compact Hausdorff spaces which is closed under countable products and continuous images. Let $\kappa>\omega$ be a cardinal number. Consider the class ...
3
votes
0answers
61 views

Show that $\varphi : L \to \Bbb{R}$ is continuous.

Let $L,K$ be to compact metric spaces, let $f:K\times L \to \Bbb{R}$ be a continuous function. Define $\varphi : L \to \Bbb{R}$ as $\varphi(y)=\sup_{x\in K} f(x,y)$. Show that $\varphi$ is ...
3
votes
0answers
47 views

If a set is Hausdorff relative to one topology, can it be compact relative to a strictly finer topology?

Let $\tau_1$ and $\tau_2$ be two topologies on set $X\neq\phi$ such that $(X, \tau_1)$ is Hausdorff and $\tau_1 \subsetneq \tau_2$. Can $(X, \tau_2)$ be compact? My effort: Suppose that $(X, ...
3
votes
0answers
32 views

Prob. 1, Sec. 27 in Munkres' TOPOLOGY, 2nd ed: How to show that the compactness of every closed interval implies the least upper bound property?

Let $X$ be an ordered set in which every closed interval is compact. Then $X$ has the least upper bound property. How to prove this? My effort: Let $A$ be a non-empty subset of $X$ such that $A$ is ...
3
votes
0answers
25 views

Does having a real valued cauchy sequence on a function in a compact space imply the function is continous on that space?

I had to prove for a homework assignment this function $$ s_n(x) = \sum_{i=0}^n (-1)^i \frac{ x^{2i+1}}{(2i+1)!} $$ is a Cauchy sequence with respect to the sup norm for $$ s_n : [-M,M] ...
3
votes
0answers
67 views

When does pointwise convergence on compact space imply uniform convergence?

I just wondered whether there is a more general theorem behind claims like 'if a sequence of equicontinuos functions $f_i:[a,b]\rightarrow{\bf R}$ converges pointwise to a continuous function $f$ then ...
3
votes
0answers
52 views

Proving amalgamation property in model theory

Restate the proposition Suppose $\mathcal{M}_0$, $\mathcal{M}_1$, and $\mathcal{M}_2$ are $\mathcal{L}$-structures and $j_i ~:~ \mathcal{M}_0 \rightarrow \mathcal{M}_i, ~(i = 1,2)$ is an elementary ...
3
votes
0answers
162 views

Proof of the Riesz-Schauder Theorem (for compact operators) using the Analytical Fredholm Theorem

First of all sorry for my bad English, I'm an Italian student, hope to let you understand! I'm having a little troubles with the proof of the Riesz-Schauder theorem for Compact Operators. Some infos ...
3
votes
0answers
95 views

Approximate the unit ball in an infinite-dimensional Hilbert space, by compact sets?

Are there some common ways to approximate the unit ball in an infinite-dimensional Hilbert space, by compact sets? (note that the unit ball isn't compact.) My goal is to prove a statement which holds ...
3
votes
0answers
25 views

Compactness of solution space of semi-linear parabolic PDE

Under what conditions a closed and bounded subset of solution space of following parabolic PDE is compact? $$x_{t}=x_{zz}+f(x,z)$$ Thank you!
3
votes
0answers
81 views

Compactness and Lipschitz functions

I am very stumped by this question: Suppose (K, d) is a compact metric space. Let f be any function, f: K $\rightarrow \mathbb{C}$, not necessarily continuous. Prove that for any $\epsilon > ...
3
votes
0answers
130 views

Proof of uniform continuity on compact sets

Show that a function $f:\mathbb{R} \rightarrow \mathbb{R}$ that is continuous on a compact set $K$ is uniformly continuous on $K$. Is the proof below correct? Proof: Let $\epsilon > 0$ and let ...
3
votes
0answers
81 views

References for the Čech-Stone compactification of Hyper-Reals?

It seems like $\beta\mathbb R$ has been heavily studied, but I am interested in learning more about $\beta(\mathbb R ^\omega /u)$. $\mathbb R ^\omega /u$ is a proper extension of $\mathbb R$ when ...
3
votes
0answers
85 views

Lie groups with structure constant $f_{abc} \neq f_{bca}$.

The structure constant $f_{abc}$ of Lie group is defined by the commutators of generators, $$[T^a,T^b]=i f_{abc}T_c$$ automatically $f_{abc}=-f_{bac}$. Can someone give a list of explicit examples ...
3
votes
0answers
430 views

What is compensated compactness?

As the title says, what is compensated compactness? I see people talk about it in the books and papers I am reading but I can only find hand wavy definitions when I look online. Is there a definition ...
3
votes
0answers
145 views

Prokhorov theorem in locally compact Hausdorff space?

Prokhorov theorem gives a compactness condition in the space of probability measures on a Polish space. I am wondering whether we have similar conditions for probability measures on more general ...
3
votes
0answers
123 views

Smash product of compact spaces

In the topology book I'm reading I found the following statement: The "smash product" (of two pointed spaces) is defined as $X \bigwedge Y=X \times Y/(X \times \lbrace*\rbrace \bigcup Y \times ...
3
votes
0answers
261 views

Every Borel set is the union of an increasing sequence of Bounded Borel sets?

I am currently working with the book by Halmos, and i can't quite get past this one. It states that: "Every Borel set can be written as an increasing sequence of Bounded Borel sets" In this case $X$ ...
3
votes
0answers
42 views

Strongly additive open cover

Call an open cover $\mathscr{U}$ of a metric space $M$ strongly additive if whenever $U,V\in\mathscr{U}$ and $U\cap V\ne\emptyset$, then $U\cup V\in\mathscr{U}$. Prove that $M$ is compact and ...
3
votes
0answers
68 views

A question on pseudocompact space

The exercise is from the handbook of set-theoretic topology page 161: Assume $\mathfrak b=\mathfrak c$. Construct a first countable separable zero-dimensional locally compact pseudocompact space ...
3
votes
0answers
50 views

Another question in relation to Tychonoff theorem

Let $X_i$ be compact topological spaces and let $X = \prod_{i \in I}X_i$ and let $\mathscr F$ be ultrafilter on $X$. Define $\mathscr F_i = \{Y \subseteq X_i : \pi_i^{-1}Y \in \mathscr F\}$. Here ...
3
votes
0answers
89 views

What is the point of compactness and how does it look visually?

I just learned what the term compact means, as in compact sets. I know what the definition of compactness is, but I don't get what the real significance of it is. How should I try to think of it in a ...
3
votes
0answers
336 views

Sequential compactness vs. countable compactness

Firstly, I'll give the definitions of sequential compactness and countable compactness. Sequential compactness: If $X$ is a Hausdorff space and every sequence of points of $X$ has a convergent ...
2
votes
0answers
36 views

Prove that the set of extreme points of a compact convex set is not empty.

The Krein–Milman theorem states that if $S$ is convex and compact in a locally convex space, then $S$ is the closed convex hull of its extreme points. In particular, such a set has extreme points. Is ...
2
votes
0answers
140 views

If every real-valued continuous bounded function on a metric space $M$ attains its maximum (or minimum), then $M$ is compact

Suppose that $(M,d)$ is a metric space. I want to show if every continuous bounded function $f:M \rightarrow \mathbb{R}$ achieves a maximum or minimum, them $M$ is compact. I found a similar ...
2
votes
0answers
36 views

The square $S := [- R, R] \times [-R, R]$ is a compact subset of $\Bbb R^2$.

The square $S := [- R, R] \times [-R, R]$ is a compact subset of $\Bbb R^2$. An intuitive approach: Let $S$ be not compact then there is an open cover of which there is no finite sub cover of $S$.Now ...
2
votes
0answers
31 views

Proving some property of a set of logical expressions that satisfies some properties

I am stuck at this problem. Let $\Sigma$ be a (finite/ infinite) set of logical expression (I.e. strings of the form $(P\land Q)$ or $\lnot(P\lor \lnot (Q\land R))$ etc.). That satisfies the ...
2
votes
0answers
44 views

Characterization of compactness in terms of closed sets

I came across an exercise that asked to characterize compactness in terms of closed sets. This is what I came up with: Claim: $X$ is compact $\Leftrightarrow$ for every set of closed sets ...
2
votes
0answers
48 views

Homeomorphic to $ [0,1]$?

Let $(E,d)$ be a metric space, $f~:~[0,1] \to E$ continuous such that $f$ is not constant. Is it true that $f([0,1])$ contains a subset homeomorphic to $[0,1]$?
2
votes
0answers
61 views

Compact, sequential spaces

A compact, Hausdorff space $X$ is sequential if each for each $A\subset X$ and $x\in \overline{A}$, there exists a countable set $A_0\subset A$ such that $x\in \overline{A}_0$. I am asked to show ...
2
votes
0answers
73 views

Compact $G_\delta$ subsets of locally compact Hausdorff spaces

Suppose $X$ is a locally compact Hausdorff space and $F$ is a closed subset thereof. Then of course $F$ is also locally compact and Hausdorff. Let $K$ be a subset of $F$, and suppose that $K$ is a ...
2
votes
0answers
43 views

Properties of Hilbert Spaces- Contrasting Two Different Topological Spaces

Let H be the space of real sequences x = $(x_1 , x_2, ... )$ with $\sum(x_n^2)$ finite. (This is $l_2$ in fact.) I wish to show the following: The topology on H is ...
2
votes
0answers
98 views

Weakly compact operator on $c_0$ is compact

Show that if $T\in {\cal B}(c_0)$ and $T$ is weakly compact, then $T$ is compact. My attempt: $T$ is weakly compact, so there is a reflexive space $X$ , and operators $A\in {\cal B}(X,c_0) $ and $B ...
2
votes
0answers
108 views

$\ f \colon X \to X $ ,continuous function where X is compact,Hausdorff space.Show $\exists A$ st $f(A) =A$.

Suppose $\ f \colon X \to X $ is a continuous function from a compact,Hausdorff space to itself. Prove that there exists a subspace $A$ such that $f(A) =A$. I came up with an answer based on nets ...
2
votes
0answers
80 views

Weak sequential compactness in a reflexive space

Let $\{X, \| \cdot \|\}$ be a normed space, $B$ is the unit ball of $X$. If $\{X, \| \cdot \|\}$ is reflexive, then is $B$ weakly sequentially compact? If it's not true, are there any counterexamples ...
2
votes
0answers
79 views

Why is proof of the [topological] closed graph theorem incorrect?

Specifically, the closed graph theorem I am referring to is: Let $f : X \rightarrow Y$ exist and $Y$ be compact and Hausdorff. Then $f$ is continuous if and only if the graph of $f$ denoted by $G_f = ...
2
votes
0answers
138 views

Measures with bounded total variation norm compact in $M(X)$?

Let $X$ be a separable, metric, compact space. (e.g. an interval in $\mathbb{R}$ like $[0,10]$). Let $M(X)$ be the set of all finite signed measures over $X$ with weak-*-topology (in probability ...
2
votes
0answers
213 views

Counterexample to Converse of Extreme Value Theorem?

The extreme value theorem says: If $X$ is a compact topological space, then for all functions $f: X \to \mathbb{R}$ such that $f$ is continuous we have that $f$ satisfies the extreme value property. ...