Ascoli-Type

: Let X , Y be metric spaces and B 1 ( X , Y ) be the space of Baire 1 functions from X to Y . The main purpose of this paper is to study compact subsets of B 1 ( X , Y ) equipped with the topology τ UC of uniform convergence on compacta and prove Ascoli-type theorem for locally bounded Baire 1 functions. The key notion in our paper is the notion of equi-Lebesgue family of functions from X to Y .


Introduction
The Arzelà-Ascoli theorem is an important result of mathematical analysis. It deals with compactness in the space of real-valued continuous functions on a compact space. The notion of equicontinuity is a key notion in this theorem. It was introduced by the Italian mathematicians Cesare Arzelà [1,2] and Giulio Ascoli [3].
If X is a locally compact space and (Y, d) is a metric space, a subset A of C(X, Y) of continuous functions from X to Y is compact in (C(X, Y), τ UC ) if and only if A is closed in (C(X, Y), τ UC ), A is equicontinuous and the closure of the set { f (x) : f ∈ A} is compact in Y for every x ∈ X [4]. The set A is equicontinuous if for each x ∈ X and every > 0 there is a neighborhood G of x with d( f (x), f (z)) < for every z ∈ G and every f ∈ A.
We say that a function f between metric spaces X and Y is Baire 1 if the preimage of any open set is F σ (cf. [5] [Def. 24.1]). Such functions are also called in the literature F σ -measurable functions. The notion of the Baire 1 function is a classical one. In 1905, Lebesgue [6] characterized Baire 1 functions with values in R. A detailed study of classical results concerning Baire 1 functions from a metric space into a separable metric space can be found in [7]. In the literature, we can find several characterizations of Baire 1 functions; see [5] [ Thm 24.15]. Recently, a new characterization of Baire 1 functions was proved in [8] and [9]. It is known that if Y = R, the Baire 1 function is a limit of a pointwise convergent sequence of continuous functions. There is rich literature concerning Baire 1 functions; see [8][9][10][11][12][13][14] and others.
In our paper, we prove Ascoli-type theorem for locally bounded Baire 1 functions using a special form of equi-Lebesgue family. The notion of equi-Lebesgue family of functions from X to Y was introduced in [14], and it also appeared in [10] and in [11]. If X is a separable metric space, then the notion of equi-Lebesgue family coincides with the notion of equi-Baire 1 family introduced by Lecomte in his paper [10]. Lecomte studied versions of Ascoli's theorem for Baire 1 functions. He also proved the following result. Let X be a locally compact separable metric space, Y be a separable metric space, B 1 (X, Y) be the space of Baire 1 functions from X to Y, and τ uc be the topology of uniform convergence on compacta. If A ⊂ B 1 (X, Y), equipped with τ uc , is relatively compact in Y X , then A is equi-Baire 1. Lecomte did not prove in [10] a characterization of compact subsets of B 1 (X, Y) equipped with the topology of uniform convergence on compacta.
In [15], Ascoli-type theorem for quasicontinuous locally bounded functions was studied, and in [16], Ascoli-type theorems for quasicontinuous subcontinuous functions were proved. In [17], the authors studied compact subsets of quasicontinuous functions, and in [18], they studied compact subsets of minimal usco and minimal cusco maps equipped with the topology of uniform convergence on compact sets. Ascoli-type theorems for so-called densely continuous forms and locally bounded densely continuous forms were proved in [19,20]. Notice that minimal usco/cusco maps and densely continuous forms are set-valued mappings, and the class of quasicontinuous mappings is entirely different from the class of Baire 1 functions. There are easy examples of Baire 1 functions that are not quasicontinuous, and also, there are quasicontinuous functions from [0, 1] to [0, 1] that are not Lebesgue-measurable [21]. The mentioned papers cannot be used for characterization of compact subsets in (B 1 (X, Y), τ UC ). In [22], the authors studied Ascoli-type theorem for locally bounded functions. Some results concerning the compactness of locally bounded Baire 1 functions can be found in [22]; however, they are only for X, which is compact, and Y, which is boundedly compact.
The paper is organized as follows. In Section 2, we recall a characterization of Baire 1 functions between metric spaces X and Y, which will be important for our study. In Section 3, we study metrizability and complete metrizability of (B 1 (X, Y), τ UC ). In Section 4, necessary conditions for compact subsets of (B 1 (X, Y), τ uc ) are given. In Section 5, we prove Ascoli-type theorem for locally bounded Baire 1 functions with values in metric spaces in which every bounded set is totally bounded. In Section 6, we present our opinion on the importance of our paper.

Preliminaries
In our paper, we denote R the space of real numbers with the usual Euclidean metric and N the set of positive integers.
Let (Y, d) be a metric space. Denote by B(y, ε) the open d-ball with center y ∈ Y and radius ε > 0 and by B(A, ε) the ε-parallel body a∈A B(a, ε) for a subset A. The closure of A ⊂ Y will be denoted by A.
Let X be a topological space, K(X) be the family of all compact subsets of X, and (Y, d) be a metric space. The topology τ uc of uniform convergence on compacta on Y X is induced by the uniformity U uc of uniform convergence on compacta, which has a base consisting of sets of the form where A ∈ K(X) and ε > 0. Denote by S(h, A, ε) the τ uc -basic neighborhood of h ∈ Y X . Thus, Denote by τ p the topology of pointwise convergence on Y X . The following theorem was proved in [7]. Theorem 1. Let (X, d X ) be a metric space and (Y, d Y ) be a separable metric space. A function g : X → Y is Baire 1 if and only if for every ε > 0 there is a countable family (F i ) i∈N such that F i is a closed set for every i ∈ N, i∈N F i = X and diam g(F i ) ≤ ε for every i ∈ N.
We will need the following result from [14].

Remark 1.
Let (X, d X ) and (Y, d Y ) be metric spaces and g : X → Y. If for every ε > 0 there is a countable family (F i ) i∈N such that F i is a closed set for every i ∈ N, i∈N F i = X and diam g(F i ) ≤ ε for every i ∈ N, then g is Baire 1.
In [5] [Thm 24.14], it was proved that if (X, d X ), (Y, d Y ) are metric spaces, (Y, d Y ) is separable, and g : X → Y is Baire 1, then the set of points of discontinuity of g is a F σ set of the first Baire category. We will improve this result.
We say that a collection H of nonempty open subsets of a topological space X is a pseudo-base [23] for X if, for every nonempty open subset U of X, there is H ∈ H such that H ⊂ U.
The following result will be useful.

Lemma 1 ([24]
). Let X be a topological space. The following are equivalent: (1) A set M is of the first Baire category in X; (2) There is a pseudo-base H for X such that for every H ∈ H, H ∩ M is of the first Baire category in H.
be metric spaces and g : X → Y be Baire 1. Suppose that there is a dense set D in X such that for every x ∈ D, there is a neighborhood O of x with g(O) separable. Then, the set of points of discontinuity of g is a F σ set of the first Baire category.
Proof. Put M = {x ∈ X : g is not continuous at x}. Since the set of points of discontinuity of g has to be a F σ set, it is sufficient to prove that M is of the first Baire category. Put satisfies conditions of Theorem 24.14 in [5].
Thus, H is a pseudo-base for X. By Lemma 1, the set M is of the first Baire category in X.

Corollary 1.
Let (X, d X ) be a Baire metric space, (Y, d Y ) be a metric space, and g : X → Y be Baire 1. Suppose there is a dense set D in X such that for every x ∈ D, there is a neighborhood O of x with g(O) separable. Then, the set of points of continuity of g is a dense G δ set in X.
Proof. In every Baire space, the complement of a F σ set of the first Baire category is a dense G δ set.

Metrizability of (B 1 (X, Y), τ UC )
A topological space X is hemicompact [25] if there is a countable family {K 1 , K 2 , . . . K n , . . .} of compact sets in X such that for every K ∈ K(X) there is n ∈ N with K ⊂ K n . Every hemicompact metric space is locally compact [25]; however, σ-compact metric space need not be hemicompact.
Thus, if (X, d X ) is a hemicompact metric space, then it is locally compact and separable. Also, if (X, d X ) is a locally compact separable metric space, then it is a hemicompact metric space. It is also known that if (X, d X ) is a locally compact separable metric space, then there is a compatible metric ρ on X such that every closed ρ-bounded set is compact [26]. Such spaces are called boundedly compact metric spaces [27].
In what follows, let (X, d X ) and (Y, d Y ) be metric spaces with at least two different points and B 1 (X, Y) be the family of Baire 1 functions from X to Y. Lemma 2. Let (X, d X ) and (Y, d Y ) be metric spaces. If X is hemicompact, then the uniformity U uc on Y X is induced by a metric. Thus also the uniformity U uc on B 1 (X, Y) is induced by a metric and (B 1 (X, Y), τ uc ) is metrizable.
Proof. Let {C k : k ∈ N} be a countable family in K(X) such that for every C ∈ K(X) there is l ∈ N with C ⊂ C l . Then, the family {S(C k , 1/n) : k, n ∈ N} is a countable base of U uc . By the metrization theorem in [4], the uniformity U uc on Y X is induced by a metric, and thus, U uc on B 1 (X, Y) is also induced by a metric.
Using a similar idea as in ( [21], Theorem 2.8.1), it can be shown that (B 1 (X, Y), U uc ) is metrizable if and only if the space X is hemicompact.
The pointwise limit of a sequence of Baire 1 functions need not be Baire 1. A uniform limit of a sequence of Baire 1 functions is Baire 1 [7]. We also have the following proposition.
be a sequence of Baire 1 functions from X to Y, which converges uniformly on compact sets to a function f from X to Y. Then f is a Baire 1 function. τ uc ), then there is a sequence { f n : n ∈ N} of Baire 1 functions from X to Y, which converges to f uniformly on compact sets. By Proposition 2 f ∈ B 1 (X, Y). Proof. If (Y, d Y ) is a complete metric space, then by [4], (Y X , U uc ) is a complete uniform space. By Lemma 2, the uniformity U uc on Y X is induced by a metric. By Corollary 2, B 1 (X, Y) is a closed set in (Y X , τ uc ).
If (X, d X ) is a hemicompact metric space, then using any countable cofinal subfamily in K(X), we can define a natural metric on Y X , which induces U uc and thus also on B 1 (X, Y) [21]. (B 1 (X, Y), τ uc ) Lee, Thang, and Zhao, in their paper [8], found an interesting characterization of Baire 1 functions between Polish spaces. Fenecios and Cabral in [9] proved the following theorem. Theorem 2 ([9]). Let (X, d X ) and (Y, d Y ) be separable metric spaces. A function g : X → Y is Baire 1 if and only if for every ε > 0 there exists a function δ : X → R such that δ(x) > 0 for every x ∈ X and if d X (x, y) < min{δ(x), δ(y)}, then d Y (g(x), g(y)) < ε.

Necessary Conditions for Compact Subsets of
In his paper [10], Lecomte introduced the notion of equi-Baire 1 family of functions.

Definition 1 ([10]
). Let (X, d X ) and (Y, d Y ) be metric spaces. A family E of functions from X to Y is equi-Baire 1 if, for each ε > 0, there is a function δ : X → R such that δ(x) > 0 for every x ∈ X and d X (x, y) < min{δ(x), δ(y)} implies d Y ( f (x), f (y)) ≤ ε for every f ∈ E .
Notice that the notion of equi-Baire 1 family of functions can also be found in the paper of Alighani-Koopaei [11], who showed its applications in dynamical systems [11,12].
In [14], the authors introduced the notion of equi-Lebesgue family.
Definition 2. Let (X, d X ) and (Y, d Y ) be metric spaces. A family E of functions from X to Y is called equi-Lebesgue if, for every ε > 0, there is a countable family (F i ) i∈N such that F i is a closed set for every i ∈ N, i∈N F i = X and diam g(F i ) ≤ ε for every i ∈ N and for every g ∈ E .
Notice that every member of an equi-Lebesgue family of functions from X to Y is a Baire 1 function (see Remark 1).
It can be observed from the proof of Theorem 3.6 in [11] that every equi-Lebesgue family of functions from a metric space X to a metric space Y is equi-Baire 1, and if X is separable, then the notions of equi-Lebesgue and equi-Baire 1 families of functions from X to Y coincide.
Lecomte, in his paper [10], proved the following result.

Proposition 3.
Let (X, d X ) be a locally compact separable metric space and (Y, d Y ) be a separable metric space. If E ⊂ B 1 (X, Y), equipped with the topology of uniform convergence on compacta, is relatively compact in Y X , then E is equi-Baire 1.
We have the following generalization of Proposition 3 with a different proof.
Since f j is a Baire 1 function, the set D j i is a F σ set for every j ∈ {1, . . . , m}, i ∈ N. Put . . , m}}. Every set D ∈ D is a F σ set. Let D be the family containing all nonempty sets from D . Clearly, K k = ∪D and the family D is countable. Then for every f ∈ A and for every D ∈ D, diam f (D) < .
Since X = {K l : l ∈ N}, we are done.

Corollary 4.
Let (X, d X ) be a hemicompact metric space and (Y, d Y ) be a separable metric space.
Lecomte in his paper [10] presented metric spaces (X, d X ), (Y, d Y ) and the equi-Baire 1 For the reader's convenience, we present an easier example. Example 1. Let X = R = Y equipped with the usual Euclidean metric. Let {x n : n ∈ N} be a sequence of different points in R that converges to a point x 0 ∈ R. Put A = {x 0 } ∪ {x n : n ∈ N}. Then, A is a compact set in R; thus, the complement of A is an F σ set in R. Put A = {χ a : a ∈ A}. It is easy to verify that A is equi-Lebesgue family. Put R \ A = n∈N F n , where F n is a closed set for every n ∈ N. Then, the family C = {{a} : a ∈ A} ∪ {F n : n ∈ N} is a countable cover of closed sets, such that diam χ a (C) < for every a ∈ A, every C ∈ C and every < 1. Of course, A(x) is compact for every x ∈ R, A is a closed set in (R R , τ uc ), and A is not compact, since the sequence {χ {x n } : n ∈ N} has no cluster point in (A, τ uc ).

Ascoli-Type Theorem for Locally Bounded Baire 1 Functions
Definition 3. Let (X, d X ) and (Y, d Y ) be metric spaces. A subset A of Y X is finitely equi-Lebesgue at x 0 ∈ X if, for every > 0, there is a finite family D of nonempty subsets of X that are either open or F σ nowhere dense such that ∪D is a neighborhood of x 0 and such that for every g ∈ A, for every D ∈ D, diam g(D) ≤ . A is finitely equi-Lebesgue provided that it is finitely equi-Lebesgue at every point of X.

Remark 2.
If (X, d X ) is a hemicompact metric space, then every finitely equi-Lebesgue subfamily of Y X is equi-Lebesgue.
Notice that in the study of Ascoli-type theorem for quasicontinuous functions in [15,16,21], the notion of a densely equiquasicontinuous family of functions was used.
Proposition 5. Let (X, d X ) and (Y, d Y ) be metric spaces. Let A be a finitely equi-Lebesgue family of functions from X to Y. Then, the topologies τ p and τ uc coincide on A.
Proof. Let {h i : i ∈ I} be a net in A which τ p -converges to h ∈ A. We will show that {h i : i ∈ I} converges to h in (Y X , τ uc ). Let K ∈ K(X) and > 0. Since A is finitely equi-Lebesgue and K is compact, there is a finite family C of F σ subsets of K such that K = ∪C and diam g(C) ≤ /3 for every g ∈ A and every C ∈ C. For every C ∈ C, pick x C ∈ C. There is i 0 ∈ I such that for every i ≥ i 0 and every C ∈ C, we have Let i ≥ i 0 and x ∈ K. There is C ∈ C such that x ∈ C. Then, we have Let (X, d X ) and (Y, d Y ) be metric spaces. Denote by L(X, Y) the set of all functions from Y X such that for every Lemma 3. Let (X, d X ) be a locally compact metric space and (Y, d Y ) be a metric space. L(X, Y) is a closed set in (Y X , τ uc ).
Proof. If f ∈ L(X, Y) and K ∈ K(X), then f (K) is a totally bounded set in (Y, d Y ). Let g ∈ L(X, Y) in (Y X , τ uc ). Let x ∈ X and K x be a compact neighborhood of x. We show that g(K x ) is totally bounded. Let ε > 0. There is h ∈ S(g, K x , ε/2) ∩ L(X, Y). Then, g(K x ) ⊂ B(h(K x ), ε/2). Since h(K x ) is totally bounded, there is a finite set L ⊂ Y such that h(K x ) ⊂ B(L, ε/2). We have g(K x ) ⊂ B(L, ). Since ε was arbitrary, g(K x ) is a totally bounded set in (Y, d Y ).

Proposition 6.
Let (X, d X ) be a hemicompact metric space and (Y, d Y ) be a metric space. If A ⊂ (LB 1 (X, Y), τ uc ) is compact, then A is finitely equi-Lebesgue family.
Proof. Let x ∈ X and > 0. Let L be an open subset of X with x ∈ L and L compact. There are g 1 , g 2 , . . . , g k ∈ A such that A ⊂ ∪ 1≤j≤k S(g j , L, /3).
Let D be the family that contains all nonempty sets from G and H. It is easy to see that for every g ∈ A and for every D ∈ D, diam g(D) < .
From the following Theorem, we obtain the main result of our paper for locally bounded Baire 1 functions with values in metric spaces in which every bounded set is totally bounded. Theorem 3. Let (X, d X ) be a hemicompact metric space and (Y, d Y ) be a metric space. A ⊂ LB 1 (X, Y) is compact in (Y X , τ uc ) if and only if A is finitely equi-Lebesgue family, A is closed in LB 1 (X, Y), and A(x) is compact for every x ∈ X.
Proof. If A ⊂ LB 1 (X, Y) is compact in (Y X , τ uc ), then by Proposition 6, A is finitely equi-Lebesgue family. Of course, A has to be closed in LB 1 (X, Y). Since for every x ∈ X the evaluation map e x : (Y X , Suppose now that A is finitely equi-Lebesgue family, A is closed in LB 1 (X, Y), and A(x) is compact for every x ∈ X. We will prove that A is compact in (Y X , τ uc ). Put Then, the space L is compact with the relative product topology from Y X and A ⊂ L. Let { f n : n ∈ N} be a sequence in A. There is f ∈ L, which is a cluster point in L. It is easy to verify that family A ∪ { f } is finitely equi-Lebesgue family, and by Proposition 5, f is a cluster point of { f n : n ∈ N} in the topology of uniform convergence on compacta. Without loss of generality, we can suppose that { f n : n ∈ N} converges to f in the topology of uniform convergence on compacta. By Proposition 2, f ∈ B 1 (X, Y). By Lemma 3 f ∈ L(X, Y). Since A is a closed set in LB 1 (X, Y), f ∈ A.
Let (X, d X ) and (Y, d Y ) be metric spaces. Denote by B lb 1 (X, Y) the family of all locally bounded Baire 1 functions from X to Y. From Theorem 3, we obtain the following main results of our paper.

Corollary 5.
Let (X, d X ) be a hemicompact metric space and (Y, d Y ) be a metric space in which every bounded set is totally bounded. A ⊂ B lb 1 (X, Y) is compact in (Y X , τ uc ) if and only if A is finitely equi-Lebesgue family, A is closed in B lb 1 (X, Y), and A(x) is compact for every x ∈ X.
, and A(x) is compact for every x ∈ X. ∪B is a neighborhood of x 0 and such that for every χ a ∈ A, for every B ∈ B, diam χ a (B) ≤ . Without loss of generality, we can suppose that A ⊂ ∪B. There must exist B ∈ B such that A ∩ B is infinite. Then, for every a ∈ A ∩ B, diam χ a (B) = 1, a contradiction.
Example 3. Let X = [0, ∞) and Y = R \ N be equipped with the induced topology from R. Y is a metric space in which every bounded set is totally bounded. Let f : X → Y be defined as follows: f (x) = x for x ∈ X \ N and f (x) = 0 otherwise. Put f 1 = f , and for every n ≥ 2, n ∈ N, define f n : X → Y as follows: f n (x) = 0, if x ≥ n, f n (x) = f (x) + 1/n if x ∈ X \ {k − 1/n : k ≤ n, k ∈ N} and f n (x) = f (x) otherwise. It is easy to verify that the sequence { f n : n ∈ N} converges to f in (B lb 1 (X, Y), τ uc ). By Corollary 5, the family { f n : n ∈ N} ∪ { f } is finitely equi-Lebesgue.

Conclusions and Future Work
The main purpose of this paper is to study compact subsets of B 1 (X, Y) equipped with the topology of uniform convergence on compacta for metric spaces X and Y and prove Ascoli-type theorem for locally bounded Baire 1 functions.
The theory developed in this paper could be of interest to mathematicians working in fields including topology [13], functional analysis [10], and dynamical systems [11,12].
Lecomte, in his paper [10], introduced the notion of equi-Baire 1 family of functions from X to Y and studied versions of Ascoli's theorem for B 1 (X, Y). However, he did not prove a characterization of compact subsets of B 1 (X, Y) equipped with the topology of uniform convergence on compacta.
Concerning a future investigation of the space of Baire 1 functions, we plan to study cardinal invariants of B 1 (X, R) equipped with the topology of uniform convergence on compacta and compare them with the cardinal invariants of the space C(X, R) of continuous real-valued functions equipped with the topology of uniform convergence on compacta, which were studied in [23].

Data Availability Statement:
No new data were created or analyzed in this study. Data sharing is not applicable to this article.