Some results in quasitopological homotopy groups

In this paper we show that the nth quasitopological homotopy group of a topological space is isomorphic to (n-1)th quasitopological homotopy group of its loop space and by this fact we obtain some results about quasitopological homotopy groups. Finally, using the long exact sequence of a based pair and a fibration in qTop introduced by Brazas in 2013, we obtain some results in this field.


INTRODUCTION
Endowed with the quotient topology induced by the natural surjective map q : Ω n (X, x) → π n (X, x), where Ω n (X, x) is the nth loop space of (X, x) with the compact-open topology, the familiar homotopy group π n (X, x) becomes a quasitopological group which is called the quasitopological nth homotopy group of the pointed space (X, x), denoted by π qtop n (X, x) (see [3,5,4,10]).
It was claimed by Biss [3] that π qtop 1 (X, x) is a topological group. However, Calcut and McCarthy [7] and Fabel [8] showed that there is a gap in the proof of [3,Proposition 3.1]. The misstep in the proof is repeated by Ghane et al. [10] to prove that π qtop n (X, x) is a topological group [10, Theorem 2.1] (see also [7]).
Calcut and McCarthy [7] showed that π qtop 1 (X, x) is a homogeneous space and more precisely, Brazas [5] mentioned that π qtop 1 (X, x) is a quasitopological group in the sense of [1]. Calcut and McCarthy [7] proved that for a path connected and locally path connected space X, π qtop 1 (X) is a discrete topological group if and only if X is semilocally 1-connected (see also [5]). Pakdaman et al. [12] showed that for a locally (n − 1)-connected space X, π qtop n (X, x) is discrete if and only if X is semilocally n-connected at x (see also [10]). Also, they proved that the quasitopological fundamental group of every small loop space is an indiscrete topological group. We recall that a loop in X at x is called small if it is homotopic to a loop in every neighborhood U of x. Also the topological space X with non trivial fundamental group is called a small loop space if every loop of X is small.
In this paper, we obtain some results about quasitopological homotopy groups. One of the main results of Section 2 is as follows: Theorem 2.1. Let (X, x) be a pointed topological space. Then for all n ≥ 1 and where e x is the constant k-loop in X at x.
By this fact we can show that some properties of a space can be transferred to its loop space. Also, we obtain several results in quasitopological homotopy groups. Moreover, we show that for a fibration p : Brazas in his thesis [6] exhibited two long exact sequences of based pair (X, A) and fibration p : E −→ X in qTop. In Section 3, we use these sequences and obtain some results in this filed. For instance, we conclude the following results: Proposition 3.3. If r : X −→ A is a retraction, then there are isomorphisms in quasitopological groups, for all n ≥ 2, π qtop n (X) ∼ = π qtop n (A) × π qtop n (X, A).

QUASITOPOLOGICAL HOMOTOPY GROUPS
It is well-known that for a pointed topological space (X, x), for all n ≥ 1 and 1 ≤ k ≤ n− 1, π n (X, x) ∼ = π n−k (Ω k (X, x), e x ). In this section we extend this result for quasitopological homotopy groups and we obtain some results about them. The following theorem is one of the main results of this paper. THEOREM 2.1. Let (X, x) be a pointed topological space. Then for all n ≥ 1 and where e x is the constant k-loop in X at x.
Proof. Consider the following commutative diagram: given by φ(f ) = f is a homeomorphism with inverse g −→ g in the sense of [13]. Since the map q is a quotient map, the homomorphism φ * is an isomorphism between quasitopological homotopy groups.
The following result is a consequence of Theorem 2.1.
Note that the above result has been shown by Hidekazu Wada [17,Remark] and Authors [11, Lemma 3.1] with another methods.
Virk [16] introduced the SG (small generated) subgroup of fundamental group π 1 (X, x), denoted by π sg 1 (X, x), as the subgroup generated by the following elements where α is a path in X with initial point x and β is a small loop in X at α(1) . Recall that a space X is said to be small generated if π 1 (X, x) = π sg 1 (X, x), also a space X is said to be semilocally small generated if for every x ∈ X there exists an open neighborhood U of x such that i * π 1 (U, x) ≤ π sg 1 (X, x). Torabi et al. [15] proved that if X is small generated space, then π qtop 1 (X, x) is an indiscrete topological group and the quasitopological fundamental group of a semilocally small generated space is a topological group. By Theorem 2.1, we obtain several results in quasitopological homotopy groups as follows: Proof. Since Ω n−1 (X, x) is a small generated space, then π qtop 1 (Ω n−1 (X, x), e x ) is an indiscrete topological group, by [15,Remark 2.11]. Therefore π qtop n (X, x) ∼ = π qtop 1 (Ω n−1 (X, x), e x ) implies that π qtop n (X, x) is an indiscrete topological group.
COROLLARY 2.5. Let X be a topological space such that Ω n−1 (X, x) is a semilocally small generated space. Then π qtop n (X, x) is a topological group.
Fabel [8] proved that π qtop 1 (HE, x) is not topological group. By considering the proof of this result it seems that if π 1 (X, x) is an abelian group, then π qtop 1 (X, x) is a topological group. He [9] also showed that for each n ≥ 2 there exists a compact, path connected, metric space X such that π qtop n (X, x) is not a topological group. In the following example we show that there is a metric space Y with abelian fundamental group such that π qtop 1 (Y, y) is not a topological group. EXAMPLE 2.6. Let n ≥ 2, X be the compact, path connected, metric space introduced in [9] such that π qtop n (X, x) is not a topological group. By Theorem 2.1 π qtop 1 (Ω n−1 (X, x), e x ) is not a topological group. Since for every n ≥ 2, π n (X, x) is an abelian group, hence there is a metric space Y = Ω n−1 (X, x) with abelian fundamental group such that π qtop 1 (Y, y) is not a topological group.
In [4, Proposition 3.25], it is proved that the quasitopological fundamental groups of shape injective spaces are Hausdorff. By Theorem 2.1 we have the following result. COROLLARY 2.7. Let X be a topological space such that Ω n−1 (X, x) is shape injective space. Then π qtop n (X, x) is Hausdorff. (X, x) is T 0 ), then X is homotopically Hausdorff.
We generalized the above proposition as follows: is closed (or equivalently the topology of π qtop n (X, x) is T 0 ), then X is n-homotopically Hausdorff.
COROLLARY 2.10. Let X be a topological space such that Ω n−1 (X, x) is shape injective space. Then X is n-homotopically Hausdorff.
Proof. It follows from Corollary 2.7 and Proposition 2.9.  Let (B, b 0 ) be a pointed space and p : E −→ B be a fibration.
Proof. We consider the following commutative diagram: where q is the quotient map and k is the induced map of k : Ω(B, b 0 ) −→ M p by the functor Ω n−1 . Since k is continuous and q is a quotient map, k * : π qtop n−1 (Ω(B, b 0 Brazas [6, Theorem 2.49] proved that for every based pair (X, A) with inclusion i : A −→ X, there is a long exact sequence in the category of quasitopological groups as follows: He [6,Proposition 2.20] also showed that for every fibration p : E −→ B of path connected spaces with fiber F , there is a long exact sequence in the category of quasitopological groups as follows: In follow, we obtain some results and examples by these exact sequences.   Proof. Consider the pointed pair (X, A). By [6, Theorem 2.49], there is a long exact sequence Since r is a retraction and i * is an injection, there is a short exact sequence Moreover, this sequence is an extension. Indeed, the map i * and π * are continuous and open homomorphisms when considered as maps onto their images. Therefore π qtop n (X) ∼ = π qtop n (A) × π qtop n (X, A).
Proof. Consider the following commutative diagram and chase a long diagram as follows: The following results are immediate consequences of Sequence (3).  (Ω(X, x)) in Set.
Proof. This result follows by Sequence (3) and this fact that the fiber F of the covering projection p is discrete and therefore π qtop n (F ) is trivial, for all n ≥ 1.