Skip to main content
deleted 15 characters in body
Source Link
Henno Brandsma
  • 5.4k
  • 1
  • 30
  • 32

Suppose $X$ is metaLindelöf, and $A \subseteq X$ is hereditarily Lindelöf and dense.

Let $\mathcal{U}$ be an open cover of $X$ and let $\mathcal{V}$ be a point-countable refinement of $\mathcal{U}$. By a standard fact on covers, there is a (closed and) discrete subset $D \subseteq A$ such that $\operatorname{st}(D,\mathcal{V}_A) = A$ (where $\mathcal{V}_A$ is the relativised version of $\mathcal{V}$). As $A$ is (hereditarily ) Lindelöfhereditarily Lindelöf, $D$ is countable and as $A$ is dense, $\mathcal{V} = \bigcup_{d \in D} \{V \in \mathcal{V}: d \in V\}$ and as $\mathcal{V}$ is point-countable, $\mathcal{V}$ is countable, and so $\mathcal{U}$ has a countable refinement which implies that $X$ is Lindelöf.

So there is no such example.

For similar ideas, see here, or one of some recent papers on star-properties like this survey,or e.g. this paper etc.

Suppose $X$ is metaLindelöf, and $A \subseteq X$ is hereditarily Lindelöf and dense.

Let $\mathcal{U}$ be an open cover of $X$ and let $\mathcal{V}$ be a point-countable refinement of $\mathcal{U}$. By a standard fact on covers, there is a (closed and) discrete subset $D \subseteq A$ such that $\operatorname{st}(D,\mathcal{V}_A) = A$ (where $\mathcal{V}_A$ is the relativised version of $\mathcal{V}$). As $A$ is (hereditarily ) Lindelöf, $D$ is countable and as $A$ is dense, $\mathcal{V} = \bigcup_{d \in D} \{V \in \mathcal{V}: d \in V\}$ and as $\mathcal{V}$ is point-countable, $\mathcal{V}$ is countable, and so $\mathcal{U}$ has a countable refinement which implies that $X$ is Lindelöf.

So there is no such example.

For similar ideas, see here, or one of some recent papers on star-properties like this survey,or e.g. this paper etc.

Suppose $X$ is metaLindelöf, and $A \subseteq X$ is hereditarily Lindelöf and dense.

Let $\mathcal{U}$ be an open cover of $X$ and let $\mathcal{V}$ be a point-countable refinement of $\mathcal{U}$. By a standard fact on covers, there is a discrete subset $D \subseteq A$ such that $\operatorname{st}(D,\mathcal{V}_A) = A$ (where $\mathcal{V}_A$ is the relativised version of $\mathcal{V}$). As $A$ is hereditarily Lindelöf, $D$ is countable and as $A$ is dense, $\mathcal{V} = \bigcup_{d \in D} \{V \in \mathcal{V}: d \in V\}$ and as $\mathcal{V}$ is point-countable, $\mathcal{V}$ is countable, and so $\mathcal{U}$ has a countable refinement which implies that $X$ is Lindelöf.

So there is no such example.

For similar ideas, see here, or one of some recent papers on star-properties like this survey,or e.g. this paper etc.

added 311 characters in body
Source Link
Henno Brandsma
  • 5.4k
  • 1
  • 30
  • 32

Suppose $X$ is metaLindelöf, and $A \subseteq X$ is hereditarily Lindelöf and dense.

Let $\mathcal{U}$ be an open cover of $X$ and let $\mathcal{V}$ be a point-countable refinement of $\mathcal{U}$. By a standard fact on covers, there is a (closed and) discrete subset $D \subseteq A$ such that $\operatorname{st}(D,\mathcal{V}_A) = A$ (where $\mathcal{V}_A$ is the relativised version of $\mathcal{V}$). As $A$ is (hereditarily ) Lindelöf, $D$ is countable and as $A$ is dense, $\mathcal{V} = \bigcup_{d \in D} \{V \in \mathcal{V}: d \in V\}$ and as $\mathcal{V}$ is point-countable, $\mathcal{V}$ is countable, and so $\mathcal{U}$ has a countable refinement which implies that $X$ is Lindelöf.

So there is no such example.

For similar ideas, see here, or one of some recent papers on star-properties like this survey,or e.g. this paper etc.

Suppose $X$ is metaLindelöf, and $A \subseteq X$ is hereditarily Lindelöf and dense.

Let $\mathcal{U}$ be an open cover of $X$ and let $\mathcal{V}$ be a point-countable refinement of $\mathcal{U}$. By a standard fact on covers, there is a (closed and) discrete subset $D \subseteq A$ such that $\operatorname{st}(D,\mathcal{V}_A) = A$ (where $\mathcal{V}_A$ is the relativised version of $\mathcal{V}$). As $A$ is (hereditarily ) Lindelöf, $D$ is countable and as $A$ is dense, $\mathcal{V} = \bigcup_{d \in D} \{V \in \mathcal{V}: d \in V\}$ and as $\mathcal{V}$ is point-countable, $\mathcal{V}$ is countable, and so $\mathcal{U}$ has a countable refinement which implies that $X$ is Lindelöf.

So there is no such example.

Suppose $X$ is metaLindelöf, and $A \subseteq X$ is hereditarily Lindelöf and dense.

Let $\mathcal{U}$ be an open cover of $X$ and let $\mathcal{V}$ be a point-countable refinement of $\mathcal{U}$. By a standard fact on covers, there is a (closed and) discrete subset $D \subseteq A$ such that $\operatorname{st}(D,\mathcal{V}_A) = A$ (where $\mathcal{V}_A$ is the relativised version of $\mathcal{V}$). As $A$ is (hereditarily ) Lindelöf, $D$ is countable and as $A$ is dense, $\mathcal{V} = \bigcup_{d \in D} \{V \in \mathcal{V}: d \in V\}$ and as $\mathcal{V}$ is point-countable, $\mathcal{V}$ is countable, and so $\mathcal{U}$ has a countable refinement which implies that $X$ is Lindelöf.

So there is no such example.

For similar ideas, see here, or one of some recent papers on star-properties like this survey,or e.g. this paper etc.

added 12 characters in body
Source Link
Henno Brandsma
  • 5.4k
  • 1
  • 30
  • 32

Suppose $X$ is metaLindelöf, and $A$$A \subseteq X$ is hereditarily Lindelöf and dense.

Let $\mathcal{U}$ be an open cover of $X$ and let $\mathcal{V}$ be a point-countable refinement of $\mathcal{U}$. By a standard fact on covers, there is a (closed and) discrete subset $D \subseteq A$ such that $\operatorname{st}(D,\mathcal{V}_A) = A$ (where $\mathcal{V}_A$ is the relativised version of $\mathcal{V}$). As $A$ is (hereditarily ) Lindelöf, $D$ is countable and as $A$ is dense, $\mathcal{V} = \bigcup_{d \in D} \{V \in \mathcal{V}: d \in V\}$ and as $\mathcal{V}$ is point-countable, $\mathcal{V}$ is countable, and so $\mathcal{U}$ has a countable refinement which implies that $X$ is Lindelöf.

So there is no such example.

Suppose $X$ is metaLindelöf, and $A$ is hereditarily Lindelöf and dense.

Let $\mathcal{U}$ be an open cover of $X$ and let $\mathcal{V}$ be a point-countable refinement of $\mathcal{U}$. By a standard fact on covers, there is a (closed and) discrete subset $D \subseteq A$ such that $\operatorname{st}(D,\mathcal{V}_A) = A$ (where $\mathcal{V}_A$ is the relativised version of $\mathcal{V}$). As $A$ is (hereditarily ) Lindelöf, $D$ is countable and as $A$ is dense, $\mathcal{V} = \bigcup_{d \in D} \{V \in \mathcal{V}: d \in V\}$ and as $\mathcal{V}$ is point-countable, $\mathcal{V}$ is countable, and so $\mathcal{U}$ has a countable refinement which implies that $X$ is Lindelöf.

So there is no such example.

Suppose $X$ is metaLindelöf, and $A \subseteq X$ is hereditarily Lindelöf and dense.

Let $\mathcal{U}$ be an open cover of $X$ and let $\mathcal{V}$ be a point-countable refinement of $\mathcal{U}$. By a standard fact on covers, there is a (closed and) discrete subset $D \subseteq A$ such that $\operatorname{st}(D,\mathcal{V}_A) = A$ (where $\mathcal{V}_A$ is the relativised version of $\mathcal{V}$). As $A$ is (hereditarily ) Lindelöf, $D$ is countable and as $A$ is dense, $\mathcal{V} = \bigcup_{d \in D} \{V \in \mathcal{V}: d \in V\}$ and as $\mathcal{V}$ is point-countable, $\mathcal{V}$ is countable, and so $\mathcal{U}$ has a countable refinement which implies that $X$ is Lindelöf.

So there is no such example.

Source Link
Henno Brandsma
  • 5.4k
  • 1
  • 30
  • 32
Loading