Professional Documents
Culture Documents
PII: S0166-8641(18)30248-7
DOI: https://doi.org/10.1016/j.topol.2018.08.003
Reference: TOPOL 6516
Please cite this article in press as: M. Filipczak, G. Horbaczewska, Homeomorphisms of Hashimoto Topologies, Topol. Appl.
(2018), https://doi.org/10.1016/j.topol.2018.08.003
This is a PDF file of an unedited manuscript that has been accepted for publication. As a service to our customers we are
providing this early version of the manuscript. The manuscript will undergo copyediting, typesetting, and review of the resulting
proof before it is published in its final form. Please note that during the production process errors may be discovered which could
affect the content, and all legal disclaimers that apply to the journal pertain.
HOMEOMORPHISMS OF HASHIMOTO TOPOLOGIES
1. Introduction
Let us start with a notion of Hashimoto topologies introduced indepen-
dently by Martin in [12] and by Hashimoto in [4].
Let (X, T ) be a T1 topological space and let I be an ideal of subsets of
X, containing all singletons and such that I ∩ T = {∅}. We say that such
an ideal is admissible. Then the family
{U \ P : U ∈ T , P ∈ I}
is a base of a topology.
Under additional assumptions that (X, T ) is a second-countable topolog-
ical space and I is a σ−ideal, the considered family is a topology, denoted
by TI .
This kind of topologies was considered by Lukeš, Malý, Zajíček [11] as
’ideal topologies’, by Jankovic and Hamlet [8] and by other authors (Lindner
[10], Hejduk [5], Terepeta [14], Bingham and Ostaszewski [3] ) as ’Hashimoto
topologies’.
Note that such topologies have some common properties.
Theorem 1. (compare [12],[4]) Let (X, T ) be a second-countable topological
space and let I be an admissible σ−ideal. Then
(1) (X, TI ) is T1 .
(2) The families of connected sets in (X, T ) and in (X, TI ) coincide.
(3) (X, TI ) does not satisfy the first axiom of countability at any point.
(4) (X, TI ) is not regular.
2010 Mathematics Subject Classification. 54A10, 54A05,54C05.
Key words and phrases. homeomorphism, σ-ideal, Hashimoto topology.
1
2 MAŁGORZATA FILIPCZAK AND GRAŻYNA HORBACZEWSKA
⎛ ⎞
= λ⎝ (F (an ), F (bn ))⎠ = (F (bn )−F (an )) = μF ((an , bn )) = μF (U ) < ε,
n∈N n∈N n∈N
so A ∈ N .
singular
and (see
[2]). Therefore
for p, q ∈ (0, 1) the topological spaces
[0, 1], TIFp and [0, 1], TIFq are homeomorphic. It is worth underlying
that only one of the σ−ideals concerned here is shift invariant (if p = 1/2),
whereas the others are not. It makes this homeomorphism unexpected.
4 MAŁGORZATA FILIPCZAK AND GRAŻYNA HORBACZEWSKA
i.e. h (A) ∈
/ N.
We need also a classic result.
Lemma 6. ([13]) If f : [0, 1] → [0, 1] is a strictly increasing function, then
the set f ({x ∈ [0, 1] : f (x) = 0}) has the Lebesgue measure zero.
HOMEOMORPHISMS OF HASHIMOTO TOPOLOGIES 5
Proof. Our proof starts with two remarks about the topology TIω .
Firstly, it is easily seen that every TIω -closed set is the union of a closed
set and a countable set. Hence, by Cantor-Bendixon Theorem ([9]), every
TIω -closed set may be written uniquely as a disjoint union of a perfect set
and a countable set.
Secondly, if every interval centered at a point x contains an uncountable
number of points from a certain set A, then x belongs to the TIω -closure
of A (denoted by clTIω (A)). Indeed, if x ∈ / clTIω (A), then there exists a set
B ∈ TIω containing x such that A ∩ B = ∅. Hence there exist an open set
C and a countable set D such that B = C \ D, so (A ∩ C) \ D = ∅. This
contradicts our assumption.
Now assume that there exists a continuous function f : (R, TIω ) →
(R, TI ), for which there exist points a, b ∈ R, a < b such that f (a)
= f (b).
By Theorem 1 (2), the sets [a, b] and f ([a, b]) are connected in TIω and
TI , respectively. Hence f ([a, b]), as a connected set, is an interval with a
nonempty interior.
Let C be a set contained in f ([a, b]) and belonging to I \ Iω . Then the
set C is closed in TI , so f −1 (C) as a closed set in TIω can be represented as
F ∪ P , where F is perfect and P ∈ Iω .
Put C1 := {y ∈ C : f −1 ({y}) ∩ P
= ∅}. Of course C1 ∈ Iω and C \ C1 ∈
I \ Iω .
Fix y ∈ C \ C1 . Then f −1 ({y}) ⊂ F and, since {y} and C \ {y} are
TI -closed, the sets f −1 ({y}) and f −1 (C \ {y}) are TIω -closed. Moreover
f −1 ({y}) ∩ f −1 (C \ {y}) = ∅.
Observe that for every x ∈ f −1 ({y}) there exists ε > 0 such that
(F \ f −1 ({y})) ∩ (x − ε, x + ε) ∈ Iω .
Indeed, in the opposite case by the remark from the beginning of the proof,
x ∈ clTIω (F \ f −1 ({y})), which is impossible, since F \ f −1 ({y}) ⊂ f −1 (C \
{y}).
Therefore, since F is perfect, for every x ∈ f −1 ({y}) ⊂ F there exist
points ax , bx such that ax < x < bx and ax , bx are two-sided condensation
points of F and (F \f −1 ({y}))∩(ax , bx ) ∈ Iω . Obviously for every y ∈ C \C1
there exists an x ∈ f −1 ({y}), and so for every y ∈ C \ C1 there exist
HOMEOMORPHISMS OF HASHIMOTO TOPOLOGIES 7
Observe that despite of the fact that the σ-ideal of countable sets is not
orthogonal to the σ-ideal of meager sets we concluded in Corollary 9 that
(R, TIω ) and (R, TK ) are not homeomorphic.
References
[1] T. Bartoszyński, H. Judah, Set theory: On the structure of the real line, A. K.
Peters, Ltd., Wellesley, MA, 1995.
[2] P. Billingsley, Probability and Measure, A Wiley-Interscience publication, 1995.
[3] N. H. Bingham, A. J. Ostaszewski, Beyond Lebesgue and Baire IV: density topologies
and a converse Steinhaus-Weil theorem, Topology Appl., available online 31 January
2018.
[4] H. Hashimoto, On the *-topology and its applications, Fund. Math. 91, 1976, 5-10.
[5] J. Hejduk, S. Lindner, On the Hashimoto topology with respect to an extension of
the Lebesgue measure, Tatra Mt. Math. Publ. 24 (2002), part II, 147–151.
[6] G. Horbaczewska On topologies connected with Hausdorff measures, Real Anal. Ex-
change 33 (1), 2007/2008, 151-158.
[7] G. Horbaczewska, A. Karasińska, E. Wagner-Bojakowska, Properties of the σ-ideal of
microscopic sets, Traditional and present-day topics in real analysis, Łódź University
Press, 2013.
[8] D. Jankovic, T.R. Hamlet, New topologies from old via ideals, Amer. Math. Monthly,
Vol. 97, No. 4, 1990, 295-310.
[9] A.S. Kechris, Classical Descriptive Set Theory, Berlin, New York, Springer-Verlag,
1995.
[10] S. Lindner, Topologies of Hashimoto type with respect to σ-ideal of countable sets,
Folia Math. 10 (2003), no. 1, 55–58.
[11] J. Lukeš, J. Malý, L. Zajíček, Fine topology methods in real analysis and potential
theory, Lecture Notes in Math. 1189, Springer, 1986.
[12] N.F.G. Martin, Generalized condensation points, Duke Math. Journal, 28(4), 1961,
507-514.
[13] I.P. Natanson, Theory of Functions of a Real Variable, Dover Books on Mathematics,
2016.
[14] M.Terepeta, On Hashimoto type topologies, Tatra Mt. Math., Publ. 52, 2012, 19-28.
HOMEOMORPHISMS OF HASHIMOTO TOPOLOGIES 9