Conversation
Member
|
(FYI: the default branch for pi-base/data is now |
StevenClontz
reviewed
Mar 9, 2023
theorems/T000227.md
Outdated
| --- | ||
|
|
||
| Asserted on page 494 of {{mr:MR2219327}}. | ||
| Evident from the definitions. |
Member
There was a problem hiding this comment.
Maybe
Continuous images of compact are always compact, and thus closed given {P100}.
Collaborator
Author
There was a problem hiding this comment.
I'll add that tomorrow.
StevenClontz
approved these changes
Mar 9, 2023
Member
StevenClontz
left a comment
StevenClontz
left a comment
There was a problem hiding this comment.
Mergable as-is. See my comment to consider elaborating one quick proof.
If you want to add traits to get US-notWH and WH-notKC examples included here let me know and I'll re-review.
Collaborator
Author
|
Revised T227 as suggested. You can merge at your convenience. I'll add the examples in a separate PR. |
StevenClontz
added a commit
that referenced
this pull request
Mar 16, 2023
* fix line ending issues * fix: add ref name to mathse ref See pi-base/web#10 * Update CONTRIBUTING.md * Weak Hausdorff property (#237) * Weak Hausdorff property * Add properties for weak Hausdorff * T227: tweak the explanation * add kspace properties and theorems (#236) * add kspace properites and theorems * tweaking the definitions * Update P000141.md * Update P000140.md --------- Co-authored-by: Patrick Rabau <prabau@sbcglobal.net> * S37: example of US, non weak Hausdorff space (#241) * Fix typo in P84 * Add results to show that pseudometrizable implies 1st countable (#244) * Add results to show that pseudometrizable implies 1st countable * fix T327 id * fix typos in P144 * add mathse reference * Fix typo * Update T000327.md --------- Co-authored-by: James Dabbs <james.dabbs@gmail.com> Co-authored-by: Patrick Rabau <70125716+prabau@users.noreply.github.com> Co-authored-by: Patrick Rabau <prabau@sbcglobal.net>
StevenClontz
added a commit
that referenced
this pull request
Mar 20, 2023
* fix line ending issues * fix: add ref name to mathse ref See pi-base/web#10 * Update CONTRIBUTING.md * Weak Hausdorff property (#237) * Weak Hausdorff property * Add properties for weak Hausdorff * T227: tweak the explanation * add kspace properties and theorems (#236) * add kspace properites and theorems * tweaking the definitions * Update P000141.md * Update P000140.md --------- Co-authored-by: Patrick Rabau <prabau@sbcglobal.net> * S37: example of US, non weak Hausdorff space (#241) * Fix typo in P84 * Add results to show that pseudometrizable implies 1st countable (#244) * Add results to show that pseudometrizable implies 1st countable * fix T327 id * fix typos in P144 * add mathse reference * Fix typo * Update T000327.md * Some theorems and traits involving local metrizability (#248) * More theorems about locally pseudometrizable (#250) * More theorems about locally pseudometrizable * T331 converse --------- Co-authored-by: James Dabbs <james.dabbs@gmail.com> Co-authored-by: Patrick Rabau <70125716+prabau@users.noreply.github.com> Co-authored-by: Patrick Rabau <prabau@sbcglobal.net>
StevenClontz
added a commit
that referenced
this pull request
Mar 22, 2023
* fix line ending issues * fix: add ref name to mathse ref See pi-base/web#10 * Update CONTRIBUTING.md * Weak Hausdorff property (#237) * Weak Hausdorff property * Add properties for weak Hausdorff * T227: tweak the explanation * add kspace properties and theorems (#236) * add kspace properites and theorems * tweaking the definitions * Update P000141.md * Update P000140.md --------- Co-authored-by: Patrick Rabau <prabau@sbcglobal.net> * S37: example of US, non weak Hausdorff space (#241) * Fix typo in P84 * Add results to show that pseudometrizable implies 1st countable (#244) * Add results to show that pseudometrizable implies 1st countable * fix T327 id * fix typos in P144 * add mathse reference * Fix typo * Update T000327.md * Some theorems and traits involving local metrizability (#248) * More theorems about locally pseudometrizable (#250) * More theorems about locally pseudometrizable * T331 converse * Misc spaces: more precise position between T1 and T2 (#249) * Misc spaces: more precise position between T1 and T2 * remove unneeded T2 assertion * remove another unneeded T2 assumption --------- Co-authored-by: Steven Clontz <steven.clontz@gmail.com> * T328 update (#252) * Included locally Euclidean -> locally compact to get some examples of spaces which are locally metrizable but not locally Euclidean. * fixed parse error * fixed another typo * suggested edits --------- Co-authored-by: James Dabbs <james.dabbs@gmail.com> Co-authored-by: Patrick Rabau <70125716+prabau@users.noreply.github.com> Co-authored-by: Patrick Rabau <prabau@sbcglobal.net> Co-authored-by: Chris <30360237+ccaruvana@users.noreply.github.com>
StevenClontz
added a commit
that referenced
this pull request
Mar 22, 2023
* fix line ending issues * fix: add ref name to mathse ref See pi-base/web#10 * Update CONTRIBUTING.md * Weak Hausdorff property (#237) * Weak Hausdorff property * Add properties for weak Hausdorff * T227: tweak the explanation * add kspace properties and theorems (#236) * add kspace properites and theorems * tweaking the definitions * Update P000141.md * Update P000140.md --------- Co-authored-by: Patrick Rabau <prabau@sbcglobal.net> * S37: example of US, non weak Hausdorff space (#241) * Fix typo in P84 * Add results to show that pseudometrizable implies 1st countable (#244) * Add results to show that pseudometrizable implies 1st countable * fix T327 id * fix typos in P144 * add mathse reference * Fix typo * Update T000327.md * Some theorems and traits involving local metrizability (#248) * More theorems about locally pseudometrizable (#250) * More theorems about locally pseudometrizable * T331 converse * Misc spaces: more precise position between T1 and T2 (#249) * Misc spaces: more precise position between T1 and T2 * remove unneeded T2 assertion * remove another unneeded T2 assumption --------- Co-authored-by: Steven Clontz <steven.clontz@gmail.com> * T328 update (#252) * Included locally Euclidean -> locally compact to get some examples of spaces which are locally metrizable but not locally Euclidean. * fixed parse error * fixed another typo * suggested edits * Use citation cff (#253) * Commit line-ending changes auto-enforced by git * Adds a CITATION.cff file to make use of the github citation button feature https://docs.github.com/en/repositories/managing-your-repositorys-settings-and-features/customizing-your-repository/about-citation-files * Update CITATION.cff --------- Co-authored-by: Steven Clontz <steven.clontz@gmail.com> * T230: first countable + US imply T2 (#257) * T230: first countable + US imply T2 * remove deduceable T1 --------- Co-authored-by: Steven Clontz <steven.clontz@gmail.com> --------- Co-authored-by: James Dabbs <james.dabbs@gmail.com> Co-authored-by: Patrick Rabau <70125716+prabau@users.noreply.github.com> Co-authored-by: Patrick Rabau <prabau@sbcglobal.net> Co-authored-by: Chris <30360237+ccaruvana@users.noreply.github.com> Co-authored-by: rschwiebert <rschwiebert@users.noreply.github.com>
StevenClontz
added a commit
that referenced
this pull request
Mar 28, 2023
* fix line ending issues * fix: add ref name to mathse ref See pi-base/web#10 * Update CONTRIBUTING.md * Weak Hausdorff property (#237) * Weak Hausdorff property * Add properties for weak Hausdorff * T227: tweak the explanation * add kspace properties and theorems (#236) * add kspace properites and theorems * tweaking the definitions * Update P000141.md * Update P000140.md --------- Co-authored-by: Patrick Rabau <prabau@sbcglobal.net> * S37: example of US, non weak Hausdorff space (#241) * Fix typo in P84 * Add results to show that pseudometrizable implies 1st countable (#244) * Add results to show that pseudometrizable implies 1st countable * fix T327 id * fix typos in P144 * add mathse reference * Fix typo * Update T000327.md * Some theorems and traits involving local metrizability (#248) * More theorems about locally pseudometrizable (#250) * More theorems about locally pseudometrizable * T331 converse * Misc spaces: more precise position between T1 and T2 (#249) * Misc spaces: more precise position between T1 and T2 * remove unneeded T2 assertion * remove another unneeded T2 assumption --------- Co-authored-by: Steven Clontz <steven.clontz@gmail.com> * T328 update (#252) * Included locally Euclidean -> locally compact to get some examples of spaces which are locally metrizable but not locally Euclidean. * fixed parse error * fixed another typo * suggested edits * Use citation cff (#253) * Commit line-ending changes auto-enforced by git * Adds a CITATION.cff file to make use of the github citation button feature https://docs.github.com/en/repositories/managing-your-repositorys-settings-and-features/customizing-your-repository/about-citation-files * Update CITATION.cff --------- Co-authored-by: Steven Clontz <steven.clontz@gmail.com> * T230: first countable + US imply T2 (#257) * T230: first countable + US imply T2 * remove deduceable T1 --------- Co-authored-by: Steven Clontz <steven.clontz@gmail.com> * Update CITATION.cff (#260) * T209 generalization (#264) * T209 generalization * fix typo * T208: indiscrete + distinct points ==> no isolated point (#266) * S27 and S28 updates (#261) * S27 updates * S28 updates * fix typo * S27/P23: added reference * S31: square of one point compactification of Q (#263) --------- Co-authored-by: James Dabbs <james.dabbs@gmail.com> Co-authored-by: Patrick Rabau <70125716+prabau@users.noreply.github.com> Co-authored-by: Patrick Rabau <prabau@sbcglobal.net> Co-authored-by: Chris <30360237+ccaruvana@users.noreply.github.com> Co-authored-by: rschwiebert <rschwiebert@users.noreply.github.com>
StevenClontz
added a commit
that referenced
this pull request
Apr 1, 2023
* fix line ending issues * fix: add ref name to mathse ref See pi-base/web#10 * Update CONTRIBUTING.md * Weak Hausdorff property (#237) * Weak Hausdorff property * Add properties for weak Hausdorff * T227: tweak the explanation * add kspace properties and theorems (#236) * add kspace properites and theorems * tweaking the definitions * Update P000141.md * Update P000140.md --------- Co-authored-by: Patrick Rabau <prabau@sbcglobal.net> * S37: example of US, non weak Hausdorff space (#241) * Fix typo in P84 * Add results to show that pseudometrizable implies 1st countable (#244) * Add results to show that pseudometrizable implies 1st countable * fix T327 id * fix typos in P144 * add mathse reference * Fix typo * Update T000327.md * Some theorems and traits involving local metrizability (#248) * More theorems about locally pseudometrizable (#250) * More theorems about locally pseudometrizable * T331 converse * Misc spaces: more precise position between T1 and T2 (#249) * Misc spaces: more precise position between T1 and T2 * remove unneeded T2 assertion * remove another unneeded T2 assumption --------- Co-authored-by: Steven Clontz <steven.clontz@gmail.com> * T328 update (#252) * Included locally Euclidean -> locally compact to get some examples of spaces which are locally metrizable but not locally Euclidean. * fixed parse error * fixed another typo * suggested edits * Use citation cff (#253) * Commit line-ending changes auto-enforced by git * Adds a CITATION.cff file to make use of the github citation button feature https://docs.github.com/en/repositories/managing-your-repositorys-settings-and-features/customizing-your-repository/about-citation-files * Update CITATION.cff --------- Co-authored-by: Steven Clontz <steven.clontz@gmail.com> * T230: first countable + US imply T2 (#257) * T230: first countable + US imply T2 * remove deduceable T1 --------- Co-authored-by: Steven Clontz <steven.clontz@gmail.com> * Update CITATION.cff (#260) * T209 generalization (#264) * T209 generalization * fix typo * T208: indiscrete + distinct points ==> no isolated point (#266) * S27 and S28 updates (#261) * S27 updates * S28 updates * fix typo * S27/P23: added reference * S31: square of one point compactification of Q (#263) * S153: Open long ray (#270) * S153: Open long ray * improve lindelof->weakly lindelof --------- Co-authored-by: Steven Clontz <steven.clontz@gmail.com> * split up theorems implying conjunctions of properties (#267) * split up theorems implying conjuctions of properties * remove proposed but out-of-syntax deprecatedBy * Update T000042.md * Update T000099.md * Update T000100.md * add converse * Delete T000171.md * Update T000176.md * Update T001042.md * Update T001176.md * fix typos * split T104 * fix uid * consolidate theorem IDs * add a few converses --------- Co-authored-by: Patrick Rabau <70125716+prabau@users.noreply.github.com> * more inclusive choice of default terminology (#271) * more inclusive choice of default terminology * Update README.md * Update README.md * Update README.md --------- Co-authored-by: James Dabbs <james.dabbs@gmail.com> Co-authored-by: Patrick Rabau <70125716+prabau@users.noreply.github.com> Co-authored-by: Patrick Rabau <prabau@sbcglobal.net> Co-authored-by: Chris <30360237+ccaruvana@users.noreply.github.com> Co-authored-by: rschwiebert <rschwiebert@users.noreply.github.com>
StevenClontz
added a commit
that referenced
this pull request
Apr 3, 2023
* fix line ending issues * fix: add ref name to mathse ref See pi-base/web#10 * Update CONTRIBUTING.md * Weak Hausdorff property (#237) * Weak Hausdorff property * Add properties for weak Hausdorff * T227: tweak the explanation * add kspace properties and theorems (#236) * add kspace properites and theorems * tweaking the definitions * Update P000141.md * Update P000140.md --------- Co-authored-by: Patrick Rabau <prabau@sbcglobal.net> * S37: example of US, non weak Hausdorff space (#241) * Fix typo in P84 * Add results to show that pseudometrizable implies 1st countable (#244) * Add results to show that pseudometrizable implies 1st countable * fix T327 id * fix typos in P144 * add mathse reference * Fix typo * Update T000327.md * Some theorems and traits involving local metrizability (#248) * More theorems about locally pseudometrizable (#250) * More theorems about locally pseudometrizable * T331 converse * Misc spaces: more precise position between T1 and T2 (#249) * Misc spaces: more precise position between T1 and T2 * remove unneeded T2 assertion * remove another unneeded T2 assumption --------- Co-authored-by: Steven Clontz <steven.clontz@gmail.com> * T328 update (#252) * Included locally Euclidean -> locally compact to get some examples of spaces which are locally metrizable but not locally Euclidean. * fixed parse error * fixed another typo * suggested edits * Use citation cff (#253) * Commit line-ending changes auto-enforced by git * Adds a CITATION.cff file to make use of the github citation button feature https://docs.github.com/en/repositories/managing-your-repositorys-settings-and-features/customizing-your-repository/about-citation-files * Update CITATION.cff --------- Co-authored-by: Steven Clontz <steven.clontz@gmail.com> * T230: first countable + US imply T2 (#257) * T230: first countable + US imply T2 * remove deduceable T1 --------- Co-authored-by: Steven Clontz <steven.clontz@gmail.com> * Update CITATION.cff (#260) * T209 generalization (#264) * T209 generalization * fix typo * T208: indiscrete + distinct points ==> no isolated point (#266) * S27 and S28 updates (#261) * S27 updates * S28 updates * fix typo * S27/P23: added reference * S31: square of one point compactification of Q (#263) * S153: Open long ray (#270) * S153: Open long ray * improve lindelof->weakly lindelof --------- Co-authored-by: Steven Clontz <steven.clontz@gmail.com> * split up theorems implying conjunctions of properties (#267) * split up theorems implying conjuctions of properties * remove proposed but out-of-syntax deprecatedBy * Update T000042.md * Update T000099.md * Update T000100.md * add converse * Delete T000171.md * Update T000176.md * Update T001042.md * Update T001176.md * fix typos * split T104 * fix uid * consolidate theorem IDs * add a few converses --------- Co-authored-by: Patrick Rabau <70125716+prabau@users.noreply.github.com> * more inclusive choice of default terminology (#271) * more inclusive choice of default terminology * Update README.md * Update README.md * Update README.md * add sequential property to arens space (#274) * T82: locally euclidean => locally arc connected (#272) * connect rothberger property and create counterexamples (#275) * Update P000144.md * Fix P144 line ending * fix MR refs * Fix more MR refs * add aliases for separation properties (#276) * improve regular to t3 (#277) * improve regular to t3 * improve t3 to t3.5 for S77 (and add t5 for P63) * add michael line S63 normality props * swap the factors to map S&S --------- Co-authored-by: Patrick Rabau <70125716+prabau@users.noreply.github.com> --------- Co-authored-by: James Dabbs <james.dabbs@gmail.com> Co-authored-by: Patrick Rabau <70125716+prabau@users.noreply.github.com> Co-authored-by: Patrick Rabau <prabau@sbcglobal.net> Co-authored-by: Chris <30360237+ccaruvana@users.noreply.github.com> Co-authored-by: rschwiebert <rschwiebert@users.noreply.github.com>
StevenClontz
added a commit
that referenced
this pull request
Apr 6, 2023
* fix line ending issues * fix: add ref name to mathse ref See pi-base/web#10 * Update CONTRIBUTING.md * Weak Hausdorff property (#237) * Weak Hausdorff property * Add properties for weak Hausdorff * T227: tweak the explanation * add kspace properties and theorems (#236) * add kspace properites and theorems * tweaking the definitions * Update P000141.md * Update P000140.md --------- Co-authored-by: Patrick Rabau <prabau@sbcglobal.net> * S37: example of US, non weak Hausdorff space (#241) * Fix typo in P84 * Add results to show that pseudometrizable implies 1st countable (#244) * Add results to show that pseudometrizable implies 1st countable * fix T327 id * fix typos in P144 * add mathse reference * Fix typo * Update T000327.md * Some theorems and traits involving local metrizability (#248) * More theorems about locally pseudometrizable (#250) * More theorems about locally pseudometrizable * T331 converse * Misc spaces: more precise position between T1 and T2 (#249) * Misc spaces: more precise position between T1 and T2 * remove unneeded T2 assertion * remove another unneeded T2 assumption --------- Co-authored-by: Steven Clontz <steven.clontz@gmail.com> * T328 update (#252) * Included locally Euclidean -> locally compact to get some examples of spaces which are locally metrizable but not locally Euclidean. * fixed parse error * fixed another typo * suggested edits * Use citation cff (#253) * Commit line-ending changes auto-enforced by git * Adds a CITATION.cff file to make use of the github citation button feature https://docs.github.com/en/repositories/managing-your-repositorys-settings-and-features/customizing-your-repository/about-citation-files * Update CITATION.cff --------- Co-authored-by: Steven Clontz <steven.clontz@gmail.com> * T230: first countable + US imply T2 (#257) * T230: first countable + US imply T2 * remove deduceable T1 --------- Co-authored-by: Steven Clontz <steven.clontz@gmail.com> * Update CITATION.cff (#260) * T209 generalization (#264) * T209 generalization * fix typo * T208: indiscrete + distinct points ==> no isolated point (#266) * S27 and S28 updates (#261) * S27 updates * S28 updates * fix typo * S27/P23: added reference * S31: square of one point compactification of Q (#263) * S153: Open long ray (#270) * S153: Open long ray * improve lindelof->weakly lindelof --------- Co-authored-by: Steven Clontz <steven.clontz@gmail.com> * split up theorems implying conjunctions of properties (#267) * split up theorems implying conjuctions of properties * remove proposed but out-of-syntax deprecatedBy * Update T000042.md * Update T000099.md * Update T000100.md * add converse * Delete T000171.md * Update T000176.md * Update T001042.md * Update T001176.md * fix typos * split T104 * fix uid * consolidate theorem IDs * add a few converses --------- Co-authored-by: Patrick Rabau <70125716+prabau@users.noreply.github.com> * more inclusive choice of default terminology (#271) * more inclusive choice of default terminology * Update README.md * Update README.md * Update README.md * add sequential property to arens space (#274) * T82: locally euclidean => locally arc connected (#272) * connect rothberger property and create counterexamples (#275) * Update P000144.md * Fix P144 line ending * fix MR refs * Fix more MR refs * add aliases for separation properties (#276) * improve regular to t3 (#277) * improve regular to t3 * improve t3 to t3.5 for S77 (and add t5 for P63) * add michael line S63 normality props * swap the factors to map S&S --------- Co-authored-by: Patrick Rabau <70125716+prabau@users.noreply.github.com> * add counterexample from https://math.stackexchange.com/q/3145712 (#279) * add counterexample * Update README.md * remove T0 assumption in T23 (#283) * remove T0 assumption in T23 * actually update T23 * Update T000023.md --------- Co-authored-by: James Dabbs <james.dabbs@gmail.com> Co-authored-by: Patrick Rabau <70125716+prabau@users.noreply.github.com> Co-authored-by: Patrick Rabau <prabau@sbcglobal.net> Co-authored-by: Chris <30360237+ccaruvana@users.noreply.github.com> Co-authored-by: rschwiebert <rschwiebert@users.noreply.github.com>
StevenClontz
added a commit
that referenced
this pull request
Apr 8, 2023
* fix line ending issues * fix: add ref name to mathse ref See pi-base/web#10 * Update CONTRIBUTING.md * Weak Hausdorff property (#237) * Weak Hausdorff property * Add properties for weak Hausdorff * T227: tweak the explanation * add kspace properties and theorems (#236) * add kspace properites and theorems * tweaking the definitions * Update P000141.md * Update P000140.md --------- Co-authored-by: Patrick Rabau <prabau@sbcglobal.net> * S37: example of US, non weak Hausdorff space (#241) * Fix typo in P84 * Add results to show that pseudometrizable implies 1st countable (#244) * Add results to show that pseudometrizable implies 1st countable * fix T327 id * fix typos in P144 * add mathse reference * Fix typo * Update T000327.md * Some theorems and traits involving local metrizability (#248) * More theorems about locally pseudometrizable (#250) * More theorems about locally pseudometrizable * T331 converse * Misc spaces: more precise position between T1 and T2 (#249) * Misc spaces: more precise position between T1 and T2 * remove unneeded T2 assertion * remove another unneeded T2 assumption --------- Co-authored-by: Steven Clontz <steven.clontz@gmail.com> * T328 update (#252) * Included locally Euclidean -> locally compact to get some examples of spaces which are locally metrizable but not locally Euclidean. * fixed parse error * fixed another typo * suggested edits * Use citation cff (#253) * Commit line-ending changes auto-enforced by git * Adds a CITATION.cff file to make use of the github citation button feature https://docs.github.com/en/repositories/managing-your-repositorys-settings-and-features/customizing-your-repository/about-citation-files * Update CITATION.cff --------- Co-authored-by: Steven Clontz <steven.clontz@gmail.com> * T230: first countable + US imply T2 (#257) * T230: first countable + US imply T2 * remove deduceable T1 --------- Co-authored-by: Steven Clontz <steven.clontz@gmail.com> * Update CITATION.cff (#260) * T209 generalization (#264) * T209 generalization * fix typo * T208: indiscrete + distinct points ==> no isolated point (#266) * S27 and S28 updates (#261) * S27 updates * S28 updates * fix typo * S27/P23: added reference * S31: square of one point compactification of Q (#263) * S153: Open long ray (#270) * S153: Open long ray * improve lindelof->weakly lindelof --------- Co-authored-by: Steven Clontz <steven.clontz@gmail.com> * split up theorems implying conjunctions of properties (#267) * split up theorems implying conjuctions of properties * remove proposed but out-of-syntax deprecatedBy * Update T000042.md * Update T000099.md * Update T000100.md * add converse * Delete T000171.md * Update T000176.md * Update T001042.md * Update T001176.md * fix typos * split T104 * fix uid * consolidate theorem IDs * add a few converses --------- Co-authored-by: Patrick Rabau <70125716+prabau@users.noreply.github.com> * more inclusive choice of default terminology (#271) * more inclusive choice of default terminology * Update README.md * Update README.md * Update README.md * add sequential property to arens space (#274) * T82: locally euclidean => locally arc connected (#272) * connect rothberger property and create counterexamples (#275) * Update P000144.md * Fix P144 line ending * fix MR refs * Fix more MR refs * add aliases for separation properties (#276) * improve regular to t3 (#277) * improve regular to t3 * improve t3 to t3.5 for S77 (and add t5 for P63) * add michael line S63 normality props * swap the factors to map S&S --------- Co-authored-by: Patrick Rabau <70125716+prabau@users.noreply.github.com> * add counterexample from https://math.stackexchange.com/q/3145712 (#279) * add counterexample * Update README.md * remove T0 assumption in T23 (#283) * remove T0 assumption in T23 * actually update T23 * Update T000023.md * add paracompact properties and arens space props (#282) * add paracompact properites and arens space props * Update P000050.md * Update P000146.md * misc changes * add alternate def for ultraparacompact --------- Co-authored-by: Patrick Rabau <70125716+prabau@users.noreply.github.com> * Some more properties for the Arens space (#285) * More Arens space updates * fix for scattered property --------- Co-authored-by: James Dabbs <james.dabbs@gmail.com> Co-authored-by: Patrick Rabau <70125716+prabau@users.noreply.github.com> Co-authored-by: Patrick Rabau <prabau@sbcglobal.net> Co-authored-by: Chris <30360237+ccaruvana@users.noreply.github.com> Co-authored-by: rschwiebert <rschwiebert@users.noreply.github.com>
StevenClontz
added a commit
that referenced
this pull request
Apr 14, 2023
* fix line ending issues * fix: add ref name to mathse ref See pi-base/web#10 * Update CONTRIBUTING.md * Weak Hausdorff property (#237) * Weak Hausdorff property * Add properties for weak Hausdorff * T227: tweak the explanation * add kspace properties and theorems (#236) * add kspace properites and theorems * tweaking the definitions * Update P000141.md * Update P000140.md --------- Co-authored-by: Patrick Rabau <prabau@sbcglobal.net> * S37: example of US, non weak Hausdorff space (#241) * Fix typo in P84 * Add results to show that pseudometrizable implies 1st countable (#244) * Add results to show that pseudometrizable implies 1st countable * fix T327 id * fix typos in P144 * add mathse reference * Fix typo * Update T000327.md * Some theorems and traits involving local metrizability (#248) * More theorems about locally pseudometrizable (#250) * More theorems about locally pseudometrizable * T331 converse * Misc spaces: more precise position between T1 and T2 (#249) * Misc spaces: more precise position between T1 and T2 * remove unneeded T2 assertion * remove another unneeded T2 assumption --------- Co-authored-by: Steven Clontz <steven.clontz@gmail.com> * T328 update (#252) * Included locally Euclidean -> locally compact to get some examples of spaces which are locally metrizable but not locally Euclidean. * fixed parse error * fixed another typo * suggested edits * Use citation cff (#253) * Commit line-ending changes auto-enforced by git * Adds a CITATION.cff file to make use of the github citation button feature https://docs.github.com/en/repositories/managing-your-repositorys-settings-and-features/customizing-your-repository/about-citation-files * Update CITATION.cff --------- Co-authored-by: Steven Clontz <steven.clontz@gmail.com> * T230: first countable + US imply T2 (#257) * T230: first countable + US imply T2 * remove deduceable T1 --------- Co-authored-by: Steven Clontz <steven.clontz@gmail.com> * Update CITATION.cff (#260) * T209 generalization (#264) * T209 generalization * fix typo * T208: indiscrete + distinct points ==> no isolated point (#266) * S27 and S28 updates (#261) * S27 updates * S28 updates * fix typo * S27/P23: added reference * S31: square of one point compactification of Q (#263) * S153: Open long ray (#270) * S153: Open long ray * improve lindelof->weakly lindelof --------- Co-authored-by: Steven Clontz <steven.clontz@gmail.com> * split up theorems implying conjunctions of properties (#267) * split up theorems implying conjuctions of properties * remove proposed but out-of-syntax deprecatedBy * Update T000042.md * Update T000099.md * Update T000100.md * add converse * Delete T000171.md * Update T000176.md * Update T001042.md * Update T001176.md * fix typos * split T104 * fix uid * consolidate theorem IDs * add a few converses --------- Co-authored-by: Patrick Rabau <70125716+prabau@users.noreply.github.com> * more inclusive choice of default terminology (#271) * more inclusive choice of default terminology * Update README.md * Update README.md * Update README.md * add sequential property to arens space (#274) * T82: locally euclidean => locally arc connected (#272) * connect rothberger property and create counterexamples (#275) * Update P000144.md * Fix P144 line ending * fix MR refs * Fix more MR refs * add aliases for separation properties (#276) * improve regular to t3 (#277) * improve regular to t3 * improve t3 to t3.5 for S77 (and add t5 for P63) * add michael line S63 normality props * swap the factors to map S&S --------- Co-authored-by: Patrick Rabau <70125716+prabau@users.noreply.github.com> * add counterexample from https://math.stackexchange.com/q/3145712 (#279) * add counterexample * Update README.md * remove T0 assumption in T23 (#283) * remove T0 assumption in T23 * actually update T23 * Update T000023.md * add paracompact properties and arens space props (#282) * add paracompact properites and arens space props * Update P000050.md * Update P000146.md * misc changes * add alternate def for ultraparacompact --------- Co-authored-by: Patrick Rabau <70125716+prabau@users.noreply.github.com> * Some more properties for the Arens space (#285) * More Arens space updates * fix for scattered property * Fix for Fully normal (P34) (#289) * Fix for Fully normal (P34) * add one reference * generalize T214 from fully T4 to fully normal (#288) --------- Co-authored-by: James Dabbs <james.dabbs@gmail.com> Co-authored-by: Patrick Rabau <70125716+prabau@users.noreply.github.com> Co-authored-by: Patrick Rabau <prabau@sbcglobal.net> Co-authored-by: Chris <30360237+ccaruvana@users.noreply.github.com> Co-authored-by: rschwiebert <rschwiebert@users.noreply.github.com>
StevenClontz
added a commit
that referenced
this pull request
Apr 21, 2023
* fix line ending issues * fix: add ref name to mathse ref See pi-base/web#10 * Update CONTRIBUTING.md * Weak Hausdorff property (#237) * Weak Hausdorff property * Add properties for weak Hausdorff * T227: tweak the explanation * add kspace properties and theorems (#236) * add kspace properites and theorems * tweaking the definitions * Update P000141.md * Update P000140.md --------- Co-authored-by: Patrick Rabau <prabau@sbcglobal.net> * S37: example of US, non weak Hausdorff space (#241) * Fix typo in P84 * Add results to show that pseudometrizable implies 1st countable (#244) * Add results to show that pseudometrizable implies 1st countable * fix T327 id * fix typos in P144 * add mathse reference * Fix typo * Update T000327.md * Some theorems and traits involving local metrizability (#248) * More theorems about locally pseudometrizable (#250) * More theorems about locally pseudometrizable * T331 converse * Misc spaces: more precise position between T1 and T2 (#249) * Misc spaces: more precise position between T1 and T2 * remove unneeded T2 assertion * remove another unneeded T2 assumption --------- Co-authored-by: Steven Clontz <steven.clontz@gmail.com> * T328 update (#252) * Included locally Euclidean -> locally compact to get some examples of spaces which are locally metrizable but not locally Euclidean. * fixed parse error * fixed another typo * suggested edits * Use citation cff (#253) * Commit line-ending changes auto-enforced by git * Adds a CITATION.cff file to make use of the github citation button feature https://docs.github.com/en/repositories/managing-your-repositorys-settings-and-features/customizing-your-repository/about-citation-files * Update CITATION.cff --------- Co-authored-by: Steven Clontz <steven.clontz@gmail.com> * T230: first countable + US imply T2 (#257) * T230: first countable + US imply T2 * remove deduceable T1 --------- Co-authored-by: Steven Clontz <steven.clontz@gmail.com> * Update CITATION.cff (#260) * T209 generalization (#264) * T209 generalization * fix typo * T208: indiscrete + distinct points ==> no isolated point (#266) * S27 and S28 updates (#261) * S27 updates * S28 updates * fix typo * S27/P23: added reference * S31: square of one point compactification of Q (#263) * S153: Open long ray (#270) * S153: Open long ray * improve lindelof->weakly lindelof --------- Co-authored-by: Steven Clontz <steven.clontz@gmail.com> * split up theorems implying conjunctions of properties (#267) * split up theorems implying conjuctions of properties * remove proposed but out-of-syntax deprecatedBy * Update T000042.md * Update T000099.md * Update T000100.md * add converse * Delete T000171.md * Update T000176.md * Update T001042.md * Update T001176.md * fix typos * split T104 * fix uid * consolidate theorem IDs * add a few converses --------- Co-authored-by: Patrick Rabau <70125716+prabau@users.noreply.github.com> * more inclusive choice of default terminology (#271) * more inclusive choice of default terminology * Update README.md * Update README.md * Update README.md * add sequential property to arens space (#274) * T82: locally euclidean => locally arc connected (#272) * connect rothberger property and create counterexamples (#275) * Update P000144.md * Fix P144 line ending * fix MR refs * Fix more MR refs * add aliases for separation properties (#276) * improve regular to t3 (#277) * improve regular to t3 * improve t3 to t3.5 for S77 (and add t5 for P63) * add michael line S63 normality props * swap the factors to map S&S --------- Co-authored-by: Patrick Rabau <70125716+prabau@users.noreply.github.com> * add counterexample from https://math.stackexchange.com/q/3145712 (#279) * add counterexample * Update README.md * remove T0 assumption in T23 (#283) * remove T0 assumption in T23 * actually update T23 * Update T000023.md * add paracompact properties and arens space props (#282) * add paracompact properites and arens space props * Update P000050.md * Update P000146.md * misc changes * add alternate def for ultraparacompact --------- Co-authored-by: Patrick Rabau <70125716+prabau@users.noreply.github.com> * Some more properties for the Arens space (#285) * More Arens space updates * fix for scattered property * Fix for Fully normal (P34) (#289) * Fix for Fully normal (P34) * add one reference * generalize T214 from fully T4 to fully normal (#288) * Add a perfectly normal, non fully normal space (#287) * add perfectly normal non fully normal space * Update README.md * Updates to Fortissimo space (S22) (#292) * Some theorems involving compactly generated (#290) * Some theorems involving compactly generated * Example of space with P140 and not P141 * T70 to provide spaces with P141 and not P142 * Better version of T70 * change the ref for T70 * Convenience aliases for compactly generated (#293) * Updates to Single ultrafilter topology (#294) --------- Co-authored-by: James Dabbs <james.dabbs@gmail.com> Co-authored-by: Patrick Rabau <70125716+prabau@users.noreply.github.com> Co-authored-by: Patrick Rabau <prabau@sbcglobal.net> Co-authored-by: Chris <30360237+ccaruvana@users.noreply.github.com> Co-authored-by: rschwiebert <rschwiebert@users.noreply.github.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Introducing weak Hausdorff (P143) as it is tied to some of the "compactly generated" variants and will be needed in related theorems.
Weak Hausdorff is clearly between T2 and T1. And it is implied by KC (P100) Does it imply US (P99) maybe?