Timeline for Convergent filters generated by (not necessarily countable) chains
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 6, 2023 at 8:00 | comment | added | Rafał Gruszczyński | @PatrickR Simplified. Thanks. | |
| Nov 6, 2023 at 7:58 | history | edited | Rafał Gruszczyński | CC BY-SA 4.0 |
added 2 characters in body
|
| Nov 3, 2023 at 8:04 | comment | added | Rafał Gruszczyński | Yes, this is the nbhd filter at $x$. | |
| Nov 3, 2023 at 5:36 | comment | added | PatrickR | The description of $\mathscr F$ seems overly complicated since the family of open nbhds of $x$ is already closed under finite intersections $V_1\cap\dots\cap V_n$. So $\mathscr F$ is just the nbhd filter at $x$, right? | |
| Jul 15, 2015 at 22:15 | vote | accept | Rafał Gruszczyński | ||
| Apr 8, 2015 at 2:51 | answer | added | Joseph Van Name | timeline score: 7 | |
| Apr 7, 2015 at 22:23 | history | asked | Rafał Gruszczyński | CC BY-SA 3.0 |