BORSIK’S PROPERTIES OF TOPOLOGICAL SPACES AND THEIR APPLICATIONS

. Let X be an uncountable Polish space. ˘Lubica Holá showed recently that there are 2 c quasi-continuous real valued functions deﬁned on the uncountable Polish space X that are not Borel measurable. Inspired by Holá’s result, we are extending it in two directions. First, we prove that if X is an uncountable Polish space and Y is any Hausdorﬀ space with | Y | ≥ 2 then the family of all non-Borel measurable quasi-continuous functions has cardinality ≥ 2 c . Secondly, we show that the family of quasi-continuous non Borel functions from X to Y may contain big algebraic structures.

1. Introduction 1.1.Super quasi-continuous functions.Let X and Y be topological spaces.We will consider the following families of functions from X to Y .
PWD(X, Y ): f is pointwise discontinuous if the set C f of continuity points of f is dense in X. QC(X, Y ): f is quasi-continuous if for each x 0 ∈ X, a neighbourhood W of x 0 and a neighbourhood V of f (x 0 ) there is a non-empty open set W 0 ⊂ W such that f (W 0 ) ⊂ V .QC * (X, Y ): f is super quasi-continuous if f ↾C f is dense in f , i.e. for each x 0 ∈ X, a neighbourhood W of x 0 and a neighbourhood V of f (x 0 ) there is x ∈ C f ∩ W with f (x) ∈ V .Cliq(X, Y ): Let Y be a metric space.Then f is cliquish if for each x 0 ∈ X, ε > 0, and a neighbourhood W of x 0 there is a non-empty open set W 0 ⊂ W with osc f (W 0 ) < ε.
The relationships between those classes are clear.(See, e.g., [19,22].)In particular, for topological spaces X and Y the following inclusions hold (the right arrows hold under assumption that Y is metric): Generally, all those inclusions are proper.
Example 1.Let Q = {q n : n ∈ N} be a subspace of rationals of the real line.Then the function f : Q → R defined as is right-hand continuous, so quasi-continuous at each x ∈ Q, and However, if X is a Baire space and Y is a metric space then the diagram above reduces to the following one.
This is a consequence of the fact that f ∈ Cliq(X, Y ) iff the set {x ∈ X : osc f (x) > 0} is meager in X.
The concept of pointwise discontinuity has a long tradition.It appears in Topology Kuratowski's, see [21,Chapter I.13.III].The same property was rediscovered by McCoy and Hammer in [14], who named it dense continuity, see also [16].The notion of quasi-continuity was introduced by Kempisty in [20], however this idea was perphaps used the first time by Baire in [2] in the study of separately continuous functions.The name of super quasi-continuity was introduced by Katafiasz and Natkaniec in [19], and this is probably the only place where it was used.The same property has been introduced and study under the name A(X, Y ) by Holá and Holý [16].
Notice that for any spaces X, Y the equality holds.It is a simple consequence of definitions, cf.[16].Finally, observe that QC(X, Y ) ⊂ PWD(X, Y ), even if X is a Baire space.Indeed, let X be the real line with the Euclidean topology, Y be the Sorgenfrey line, and f : X → Y be the indentity.Then f ∈ QC(X, Y ) \ PWD(X, Y ), see [23], or [16,Example 3.1].The question for which spaces Y the inclusion QC(X, Y ) ⊂ PWD(X, Y ) holds under assumption that X is a Baire space has been intensively studied, see e.g, [17,Section 2.3].1.2.Borsík's properties.Let X be a topological space.The following properties of X were considered by Jan Borsík in [7].
Definition 2. X has the property BP 1 whenever for every non-empty closed nowhere dense set F ⊂ X and an open set G such that F ⊂ cl(G) there exists a sequence {K m,n : m, n ∈ N} of non-empty open subsets of X such that: (iii) for each x ∈ X \ F there is a neighbourhood V of x such that the set {(m, n) : V ∩ K m,n = ∅} has at most one element; (iv) for each x ∈ F and a neighbourhood V of x, and for all m ∈ N there is Definition 3. X has the property BP 2 whenever for every non-empty closed nowhere dense set F ⊂ X and an open set G such that F ⊂ cl(G) there exists a sequence {K m,n : m, n ∈ N} of non-empty open subsets of X which satisfy the conditions (i)-(iii) from Definition 2 and moreover, (v) for each x ∈ F and a neighbourhood V of x, and for all m ∈ N there is Definition 4. X has the property BP 3 whenever it satisfies all conditions of BP 2 with respect to any non-empty closed nowhere dense set F and G = X.
(3) Every perfectly normal locally connected space has the property BP 3 .
(4) The hedgehog with uncountably many spines is an example of metrizable space without property BP 1 .( 5) Let X = βN be the Čech-Stone compactification of N. Then X is perfectly normal space without property BP 3 .
Another version of the property BP 3 was introduced at the same time by Zbigniew Grande [12].Definition 6.A topological space X has the property BP ′ 3 if for every nowhere dense set F there is a sequence (U m ) m∈N of pairwise disjoint non-empty open sets such that (i') Proof.Let F 0 be a nowhere dense set in Xand let F be a non-empty closed and nowhere dense set such that F 0 ⊂ F .Let {K m,n : m, n ∈ N} be a family witnessing the property BP 3 for F .Then U m := n∈N K m,n for m > 0 and U 0 := int(X \ (F ∪ m>0 U m )) satisfy the conditions (i')-(iii').Definition 10. ( [8], see also [15].)A topological space X has property CP (QP ) if for every nonempty nowhere dense closed set F ⊂ X there is a continuous (quasicontinuous) function g : X \ F → [0, 1] such that osc g (x) = 1 for every x ∈ F , where osc g (x) is the oscilation of g at x.
BP ′ 3 =⇒ QP.Proof.Let F be a non-empty closed and nowhere dense set in X and let {U m : m ∈ N} be a family witnessing the property BP ′ 3 .Let g : X \ F → [0, 1] be the characteristic function of the set U 1 , then g is as we need (cf [8,Theorem 7]).
Borsík uses the property BP 2 to show that if X is a pseudo-metrizable topological space then every cliquish function f : X → R can be represented as the sum of three quasi-continuous functions [7, Theorem 1].Following this result, an alternative proof of Theorem 3.4 from a recent paper [15] can easily be obtained.Proposition 12. [15] Let X be a separable metrizable space in which there is a closed nowhere dense set F ⊂ X with the cardinality c.Then the family quasicontinuos non Borel measurable functions from X to [0, 1] has cardinality 2 c .Proof.Let κ be the size of the family of non-Borel QC functions from X into [0, 1], and let λ be the size of the family of all QC functions from X to [0, 1].Suppose that κ < 2 c .Since the family of all Borel functions from X to [0, 1] has size ≤ c, so λ ≤ c + κ < 2 c .By Borsík Theorem [7, Theorem 1], the family of all cliquish functions has size ≤ λ 3 < 2 c .On the other hand, for every E ⊂ F , the characteristic function χ E is cliquish, hence the family of all cliquish functions has cardinality at least 2 c , a contradiction.On the other hand, if X satisfies the assumptions of Proposition 12 then X has cardinality ≤ c, hence the family of all functions from X to [0, 1] is of size ≤ 2 c .Therefore the family of all quasi-continuous non-Borel functions from X to [0, 1] has cardinality equal to 2 c .1.3.Ideas of lineability.During the last two decades many mathematicians have been looking at the largeness of some sets by constructing inside them large algebraic structures, like groups, linear spaces, algebras etc.This approach is called lineability or algebrability.This topic was added recently to the AMS subject classification under 15A03 and 46B87.A comprehensive description of this concept as well as numerous examples and some general techniques can be found in the monograph [1] or survey article [6].
The following terminology has been used in several results of lineability, see [1,6].Let κ be a cardinal number.
• Let V be a vector space over the field K and A is κ-coneable if it is positively and negatively κ-coneable.• Let A be an algebra over the field K ∈ {R, C} and A ⊂ A. We say that A is κ-algebrable if A ∪ {0} contains a κ-generated subalgebra B of A. • Let A be an algebra over the field K ∈ {R, C} and A ⊂ A. We say that A is strongly κ-algebrable if A ∪ {0} contains a κ-generated free subalgebra B.
Recall that a set X contained in an algebra A generates a free subalgebra B whenever: (1) the algebra B is generated by X; (2) for any polynomial P of degree n and without a constant term, and for any pairwise different x 1 , . . ., x n ∈ X we have P (x 1 , . . ., x n ) = 0 ⇔ P = 0.If X satisfies conditions (1),(2) then we say that vectors in X are algebraically independent and that X is a set of free generators of B.

Results
Proposition 13.Let X be a topological space with the property BP ′ 3 and let F 0 , F 1 be any disjoint nowhere dense subsets of X.Then for Y = {0, 1} there is a super quasi-continuous function g : and let let {U m : m ∈ N} be a family witnessing the property BP ′ 3 for F .Define g : X → Y by the formula Clearly g satisfies the assertion of the proposition.
Theorem 14.Let X be a second countable Hausdorff topological space with the property BP ′ 3 in which there is a closed nowhere dense set F ⊂ X with the cardinality c.Then the family of all QC * non Borel measurable functions from X to {0, 1} has cardinality 2 c .Proof.Since X is Hausdorff second countable, it has the cardinality ≤ c and the family of all Borel sets in X has the cardinality ≤ c.Since card(X) ≥ card(F ) = c, we have card(X) = c.Hence the family of all functions from X to {0, 1} has cardinality 2 c , so the family of QC * non Borel measurable functions from X to {0, 1} has cardinality ≤ 2 c .On the other hand, the family of all non-Borel subsets of F has the cardinality 2 c and, by Proposition 13, for every non-Borel subset F 0 ⊂ F , the characteristic function of F 0 resticted to F can be extended to a super quasi-continuous function from X to {0, 1}.Hence the family of all QC * non Borel measurable functions from X to {0, 1} has cardinality ≥ 2 c .In proofs of next theorems we will use the so-called method of independent Bernstein sets, see e.g.[4].For a non-empty set X and D ⊂ X denote D 1 = D and D 0 = X \ D. We say that a family D of subsets of X is independent if for every δ : {1, . . ., n} → {0, 1} and any pairwise distinct sets D 1 , . . ., D n ∈ D we have D Recall that for every infinite cardinal κ there is an independent family of 2 κ subsets of κ [10], see also [18,Lemma 7.7].
Theorem 15.Let X be a topological space with the property BP ′ 3 in which there is a closed nowhere dense set F ⊂ X which is homeomorphic with the Cantor set.Then (1) There exists an additive group of size c contained in the family of non-Borel QC * (X, Z) functions plus the zero function.(2) Let K ∈ {Q, R, C}.There is a c-dimensional linear space (over K) contained in the family of non-Borel QC * (X, K) plus the zero function.(3) There exists a cone contained in the family of non-Borel QC * (X, R) plus the zero function that is spaned by 2 c linearly independent generators.
(4) There is a lattice of size 2 c contained in the family of non-Borel QC * (X, {0, 1}) functions.
Proof.Divide F onto c-many pairwise disjoint Bernstein sets in F , F α , α < c.Let {U n : n ≥ 0} be a family witnessing the property BP ′ 3 for F .Next, let • {N α : α < c} be an independent family of infinite subsets of N \ {0}; • {∆ α : α < 2 c } be an independent family of subsets of c, and Notice that for all α, β < 2 c the sets D α , D α ∪ D β and D α ∩ D β are Bernstein sets in F .For each α < c let f α : X → Z be the characteristic function of the set Then the restriction f α ↾F is equal to the characteristic function of D α , hence it is non-Borel and therefore f α is non-Borel.We will verify that f α is super quasicontinuous at each x ∈ X.
U n and then x ∈ cl(U 0 ) and f α is constant on {x} ∪ U 0 , hence it is super quasi-continuous at x.
(1) Let G be the additive group generated by the family {f α : α < c}.Clearly G is of size c.We will show that every non-zero function f ∈ G is non-Borel and super quasi-continuous.Fix f ∈ G \ {0}.Then f = m i=1 a i f αi , where m ∈ N, α i < c, and Then f ↾F ξ0 = a 1 = 0 and f ↾F ξ1 = 0. Since F ξ0 and F ξ1 are disjoint Bernstein sets in F , so f ↾F is non-Borel and consequently, f is non-Borel.
We will verify that f ∈ QC * (X, Z).Fix x 0 ∈ X and consider a few cases.
• If x 0 ∈ D αi for some i ≤ m then choose ξ ∈ ∆ αi \ {∆ αj : 1 ≤ j ≤ m, j = i} and observe that for n ∈ N ξ we have In conclusion, f is super quasi-continuous at each point x ∈ X.
(2) Let K ∈ {Q, R, C} and let V be a linear space over K generated by the family {f α : α < c}.We will verify that f α 's are linearly independent.Assume that m i=1 a i f αi = 0, where a i ∈ K and α i < c are pairwise different.For every i ≤ m choose ξ ∈ ∆ αi \ j =i ∆ αi .Then for each x ∈ F ξ we have m i=1 a i f αi (x) = a i , hence a i = 0. Finally let f be a non-zero linear combination of f α 's.Then f = n i=1 a i f αi , where a i ∈ K \ {0} and α i < c are pairwise different.One can verify, as in the point (1), that f is non-Borel and QC * .
(3) For each 0 < α < 2 c let g α : X → {0, 1} be defined as First, observe that g α 's are non-Borel.In fact, g α (x) = 1 for x ∈ D α and g α (x) = 0 for x ∈ F \ D α .Since D α is non-Borel, g α ↾F is non-Borel and consequently, g α is non-Borel, too.Next, we will see that g α ∈ QC * .Fix x ∈ X and consider a few cases.
• Let x ∈ D α .Fix any n ∈ N 0 and observe that x ∈ cl(U n ) and for t ∈ U 0 , hence g α is super quasi-continuous at x. Now, let g = n i=1 a i g αi , where a i ∈ R, a i > 0, and hence g↾F is non-Borel, and consequently g is non-Borel, too.To see that g ∈ QC * fix x ∈ X and consider a few cases.
◮ If I x = ∅ then, since the family {N α : α < c} is independent, we can choose n ∈ N 0 ∩ i∈Ix N i \ i≤n,i ∈Ix N i .Then and g αi (t) = g αi (x) for t ∈ U n and i ≤ n.Hence g(x) = n i=1 a i g αi (x) = i∈Ix a i = i≤n a i g αi (t) = g(t) for t ∈ U n , so g is constant on the set {x} ∪ U n .Thus g is QC * at x. ◮ If x ∈ F and I x = ∅ then g(x) = 0. Since g(t) = 0 for t ∈ U 0 and x 0 ∈ cl(U 0 ), g is QC * at x. • Finally, assume that x ∈ F .Then either x ∈ U n for some n ∈ N and U n is open and g is constant on U n , or x ∈ cl(U 0 ) and then g(x) = 0 = g(t) for t ∈ U 0 .In both cases, g is QC * at x.In conclusion, g is super quasi-continuous at any x ∈ X. Hence the family non-Borel QC * functions is positively 2 c -coneable.In the same way one can verify that it is also negatively 2 c -coneable.
(4) It is easy to observe that for any α, β < 2 c we have and so min(g α , g β ) and max(g α , g β ) are non-Borel and QC * .Now we will consider a functions between topological spaces X and Y .The following fact follows from Proposition 13.
Corollary 16.Let X be a space with the property BP ′ 3 and let Y be a Hausdorff space with |Y | ≥ 2. Then for all disjoint nowhere dense sets F 0 , F 1 ⊂ X and for any different y 0 , y 1 ∈ Y there is a super quasi-continuous function g : X → Y such that g(x) = y i for x ∈ F i , i = 0, 1.
Proof.Let F 0 and F 1 be disjoint nowhere dense subsets of X and let g : X → {0, 1} be a super quasi-continuous function such that g(x) = i for x ∈ F i , i = 0, 1, as in Proposition 13.Fix different y 0 , y 1 ∈ Y .We consider {0, 1} as a topological space equipped in the discrete topology.Then the map ϕ : {0, 1} → Y defined by ϕ(i) = y i , i = 0, 1, is a continuous embedding, and g = ϕ • g is as we need.Theorem 19.Let X be a topological space with the property BP ′ 3 in which there is a closed nowhere dense set F ⊂ X which is homeomorphic with the Cantor set.Then (1) For any topological group (Y, +) there exists an additive group of size c contained in the family of non-Borel QC * (X, Y ) functions plus the zero function.
(2) Let Y be a linear space over K ∈ {Q, R, C}.There is a c-dimensional linear space over K contained in the family of non-Borel QC * (X, Y ) functions plus the zero function.Recall that a Riesz space is an ordered vector space that is also a lattice.
Theorem 20.Let X be a topological space with the property BP ′ 3 in which there is a closed nowhere dense set F ⊂ X which is homeomorphic with the Cantor set and let Y be a Riesz space over R with the order ≤.Then there exists a c-dimensional Riesz space over R with the order f ≤ g iff f (x) ≤ g(x) for every x ∈ X, contained in the family of non-Borel QC * (X, Y ) functions plus the zero function.
Proof.Divide F onto c-many pairwise disjoint Bernstein sets in F , F α , α < c.Let {U n : n ≥ 0} be a family witnessing the property BP ′ 3 for F .Let {N α : α < c} be an independent family of infinite subsets of N \ {0}.Fix y ∈ Y \ {0}.For every α < c define a function One can verify, similarly to the proof of part (2) in Theorem 15, that the functions f α 's generate a linear space L contained in the family of non-Borel QC * (X, Y ) functions plus the zero function.We will show that L with the order ≤ is a lattice.
Note that the size c in Theorem 19 is maximal possible if we assume that X is a Polish space and Y is a topological group of size ≤ c.Theorem 21.Assume that X is a space with the density κ and (Y, +) be a topological group with card(Y ) = λ.Then any group contained in the family QC * (X, Y ) has cardinality ≤ λ κ .In particular, if X is a separable Baire space and Y is a metrizable with |Y | ≤ c then any group contained in the family QC(X, Y ) has cardinality ≤ c.
Proof.Suppose that there exists a group G contained in the family QC * (X, Y ) with card(G) > λ κ .Let D be a dense subset of X with card(D) = κ.Since the family of all functions from D to Y has cardinality λ κ , there are different f, g ∈ G which agree on D. Then f − g ∈ G, f − g = 0 and (f − g)↾D = 0. Since D is dense in X, (f − g)(x) = 0 for every x ∈ X at which f − g is continuous.Since f − g ∈ QC * (X, Y ), so f − g = 0, a contradiction.
The second part of the assertion follows from the obvious fact that for functions between a Baire space and a metric space Y the notions of quasi-continuity and super quasi-continuity are equivalent.
As a consequence of Theorems 19 and 21 we obtain the following corollary.If X = Y = R then this fact can be found in [24,Theorem 4].
Corollary 22. Assume that X is an uncountable Polish space and (Y, +) is a metric linear space over K ∈ {Q, R, C} with |Y | ≤ c.Then the lineability of the family of all non-Borel QC(X, Y ) functions is equal to c. J. Wódka noticed at the end of [24] that the family of all quasi-continuous functions from R to R that are not Lebesgue measurable plus the zero function contains a c-generated free algebra.We will generalize this fact in the next proposition.
Theorem 23.Let X be a topological space with the property BP ′ 3 in which there is a closed nowhere dense set F ⊂ X which is homeomorphic with the Cantor set.Then there exists a c-generated free algebra (over R) contained in the family of non-Borel QC * (X, R) functions plus the zero function.
Proof.We use the method of exponential like functions proposed in [3,Proposition 7].It suffices to show that there is a non-Borel QC * (X, R) function such that h • f is non-Borel QC * (X, R) for every exponential like function h : R → R. Then functions of the form x → exp(βg(x)), where parameters β are taken from a Hamel basis of R over Q, are free generators of an algebra included in the set of non-Borel QC * (X, R) functions.In [3], authors apply this method to real functions defined on the unit interval, but it is easy to see that it can also be used under more general assumptions on the domain.Recall that a function h is exponential like whenever where β i > 0 for i = 1, . . ., m.
Divide F onto c-many Bernstein sets F α , α < c, in F .Let {U n : n ≥ 0} be a family witnessing the property BP ′ 3 for F and (q n ) n∈N be one-to-one sequence of rational numbers from the interval [0, 1] with q 0 = 0. Let [0, 1] = {y α : α < c} and f 0 : is an open non-empty set on which f is continuous.We will verify that for every expodential like function h : R → R the superposition h • f is non-Borel and super quasi-continuous.Let h(x) := m i=1 a i exp(β i x).Then h is continuous and finite-to-one, see [3,Lemma 8].Fix x 0 ∈ X, a neighbourhood V of x 0 , and ε > 0. Since h is continuous at f (x 0 ), there is an open set Now, we will return once again to the example of the density topology d on R k , see e.g.[9].Recall that X there is a neighbourhood U of f (x) such that the set f −1 (U ) has density 0 at x, see [11].
Example 24.Let X = (R k , d), then any additive group contained in the family QC * (X, R) has cardinality ≤ c.
Proof.Suppose that there is a group G contained in QC * (X, R) with card(G) > c.Since every f ∈ G is measurable, so it is equal almost everywhere to some Borel function f : R k → R (with respect to the Euclidean topology in R k ).Since the family of Borel functions from R k to R has cardinality c, there are different functions f 0 , f 1 ∈ G with f0 = f1 , and consequently, 0 = f 0 − f 1 ∈ G, but f 0 − f 1 = 0 a.e.But then f 0 − f 1 is degenerate at each x ∈ R k with f 0 (x) − f 1 (x) = 0, contrary to f 0 − f 1 ∈ QC * (X, R).
Observe that the situation is different if we consider pointwise discontinuous functions.Assume that K ∈ {R, C}, and let C ⊂ R be a perfect set.Recall that there is a 2 c -generated free algebra contained in the family of all functions f : C → K that maps every perfect set P ⊂ C onto K (plus the zero function), see [5,Theorem 2.2].Notice that every such function is non-Borel.
Proposition 25.Let K ∈ {R, C} and X be a topological space with the property BP ′ 3 in which there is a closed nowhere dense set F ⊂ X which is homeomorphic with the Cantor set.Then there exists a 2 c -generated free algebra (over K) contained in the family of non-Borel PWD(X, K) functions plus the zero function.
Proof.Let F = {f α : α < 2 c } ⊂ K F be an algebraically independent family of non-Borel functions.For each α < 2 c let g α : X → K be defined by g α (x) = f α (x) for x ∈ F ; 0 for x ∈ X \ F.
Since g α ↾F = f α for all α < c, then {g α : α < 2 c } has size 2 c , is linearly independent, and generates a free algebra A. Moreover, every f ∈ A equals 0 on an open dense subset of X, hence it is pointwise discontinuous.
Finally, assume that X is not a Baire space and consider the family QC(X, R) \ QC * (X, R).
Example 26.There is a c-generated free algebra contained in the family QC(Q, R)\ QC * (Q, R) plus the zero function.
Proof.Let f : Q → [0, 1] be the function defined in Example 1.We will verify that h • f ∈ QC(X, R) \ QC * (X, R) for every exponential like function h : R → R. Clearly, h • f , as a composition of quasi-continuous function with a continuous one, is quasi-continuous, see e.g.[22].Since h is exponential-like, there is a finite sequence 0 = y 0 < y 1 < . . .< y k = 1 such that h is strictly monotone on each interval [y i−1 , y i ], i ≤ k, see [3,Lemma 1.4].Since rng(f ) ⊂ [0, 1] is infinite, there is j ≤ k such that the set A := rng(f ) ∩ [y j−1 , y j ] is infinite.Then h↾[y j−1 , y j ] is a homeomorphism, the set B := f −1 ([y j−1 , y j ]) is a non-degenerate interval in Q, and h • f is continuous at no point of B, so h • f ∈ QC * (Q, R).
The result above is optimal in the sense that every algebra contained in the family QC(Q, R) is of size ≤ c, because card(R Q ) = c.It would be interesting to know if there are a space X and a cardinal κ > c for which the family QC(X, R)\QC * (X, R) is strongly κ-algebrable.

Example 8 .
R k with the density topology has the property BP ′ 3 , see [12, Lemme] if k = 1, and [13, Lemma 2] for any k ∈ N. Problem 9. Does R k with the density topology have the property BP 3 ?
As a consequence of the Corollary 16 we obtain the following facts which are a generalization of [15, Proposition 3.3, Theorem 3.4].Proposition 17.Let X be a separable topological space with the property BP ′ 3 in which there is a closed nowhere dense set F ⊂ X with the cardinality c, and let Y be a Hausdorff space with |Y | ≥ 2. Then the family of all super quasi-continuous non Borel measurable functions from X to Y has cardinality ≥ 2 c .Moreover, if 2 ≤ |Y | ≤ c, then the cardinality of this family is equal to 2 c .Proof.Let F denote the family of all super quasi-continuous non Borel measurable functions from X to Y .The inequality |F | ≥ 2 c yields from Corollary 16.Since X is separable, so |X| ≤ ω ω = c.Since there is F ⊂ X with |F | = c, we have X = c.Hence |F | ≤ |Y X | ≤ c c = 2 c .Corollary 18.Let X be an uncountable Polish space and let Y be a Hausdorff space with |Y | ≥ 2. Then the family of all quasi-continuous non Borel measurable functions from X to Y has cardinality ≥ 2 c .Moreover, if 2 ≤ |Y | ≤ c, then the cardinality of this family is equal to 2 c .The proof of the next theorem is similar to the proof of Theorem 15.

( 3 )
If Y is a lattice and |Y | ≥ 2 then there is a lattice of size c contained in the family of non-Borel QC * (X, Y ) functions.