Strong Forms of Weakly e-continuous Functions

B. S. Ayhan

arXiv: 2405.09294v1 · PDF · 15 May 2024
Categories: math.GN
Licence: CC BY 4.0 The site shows the text.

Abstract

The main purpose of this study is to introduce and study two new classes of continuity called eR-continuous functions and weakly eR-continuous functions via e-regular sets. Both of the forms of continuous functions we have described are stronger than the weakly e-continuity. Furthermore, we obtain various characterizations of weakly eR-continuous functions. In addition, we examine not only the relations of these functions with some other forms of existing continuous functions, but also some of their fundamental properties.

Items 57

Lemma

Lemma 2.1

9RQZ

[ozkoc-aslim]; [jumaili-yang] Let A and B be subsets of a space X. Then the followings are hold: (1) A \subseteq e-cl(A) \subseteq e-cl_{\theta}(A),
(2) e-cl_{\theta }(A) is e-\theta-closed, (3) If A is e-\theta-closed, then A=e-cl_{\theta}(A), (4) If A \subseteq B, then e-cl_{\theta}(A) \subseteq e-cl_{\theta}(B),
(5) e-cl_{\theta}(e-cl_{\theta}(A))=e-cl_{\theta}(A),
(6) e-cl_{\theta}(X\setminus A) =X\setminus e-int_{\theta}(A),
(7) x\in e-cl_{\theta}(A) iff A\cap U\neq\emptyset for all eR(X,x), (8) e-cl_{\theta }(A)=\bigcap \{V|(A\subseteq V)(V\in eR(X))\}=\bigcap \{V|(A\subseteq V)(V\in e \theta C(X))\}, (9) A \in e \theta O(X) iff for all x\in A there exists U \in eR(X,x) such that U\subseteq A, (10) Any intersection (union) of e-\theta-closed (e-\theta-open) sets is e-\theta-closed (e-\theta-open).

Used by Proof

Lemma

Lemma 2.2

RU78

[ayhan-ozkoc2] Let A be a subset of a space X. If A is an open set in X, then cl(A)= cl_\theta(A).

Used by Proof

Definition

Definition 2.1

V53T

A function f : X \rightarrow Y is called to be: (a) e-continuous (briefly e.c.) [ekici2] if the inverse image of all open set is e-open.
(b) strongly \theta-continuous (briefly, st.\theta.c.) [noiri] if for all x \in X and all open set V of Y containing f(x), there exists U \in O(X,x) such that f[cl(U)] \subseteq V.
(c) strongly \theta-semicontinuous (briefly, st.\theta.s.c.) [jafari-noiri] if for all x \in X and all open set V of Y containing f(x), there exists U \in SO(X,x) such that f[scl(U)] \subseteq V.
(d) strongly \theta-precontinuous (briefly, st.\theta.p.c.) [noiri2] if for all x \in X and all open set V of Y containing f(x), there exists U \in PO(X,x) such that f[pcl(U)] \subseteq V.
(e) strongly \theta-b-continuous (briefly, st.\theta.b.c.) [park] if for all x \in X and all open set V of Y containing f(x), there exists U \in BO(X,x) such that f[bcl(U)] \subseteq V.
(f) strongly \theta-e-continuous (briefly, st.\theta.e.c.) [ozkoc-aslim] if for all x \in X and all open set V of Y containing f(x), there exists U \in eO(X,x) such that f[e\mbox{-}cl(U)] \subseteq V.
(g) weakly clopen (briefly, w.co.) [son-etc] if for all x \in X and all open set V of Y containing f(x), there exists U \in CO(X,x) such that f[U] \subseteq cl(V).
(h) weakly b-continuous (briefly w.b.c.) [sengul] if for all x \in X and all open set V of Y containing f(x), there exists U \in BO(X,x) such that f[U] \subseteq cl(V).
(i) weakly a-continuous (briefly w.a.c.) [ayhan-ozkoc] if for all x \in X and all open set V of Y containing f(x), there exists U \in aO(X,x) such that f[U] \subseteq cl(V).
(j) weakly e-continuous (briefly w.e.c.) [ozkoc-aslim2] if for all x \in X and all open set V of Y containing f(x), there exists U \in eO(X,x) such that f[U] \subseteq cl(V).
(k) weakly BR-continuous (briefly, w.BR.c.) [ekicii] if for all x \in X and all open set V of Y containing f(x), there exists U \in BR(X,x) such that f[U] \subseteq cl(V).
(l) BR-continuous (briefly, BR.c.) [ekicii] if f^{-1}[V] is b-regular in X for all open set V of Y.

Used by Proof, Remark 3.1, Proof

Definition

Definition 3.1

LP6E

A function f : X \rightarrow Y is called weakly eR-continuous (briefly w.eR.c.) at x\in X if for each open set V containing f(x), there exists an e-regular set U in X containing x such that f\left[ U \right] \subseteq cl(V). The function f is w.eR.c. if and only if f is w.eR.c. for all x\in X.

Used by Remark 3.1, Proof

Definition

Definition 3.2

GPJ5

A function f : X \rightarrow Y is called eR-continuous (briefly eR.c.) if f^{-1}(V) is e-regular in X for every open set V of Y.

Used by Proof, Remark 3.1

Theorem

Theorem 3.1

Z9FE

Let f : X \rightarrow Y be a function. If f is eR-continuous, then f is weakly eR-continuous.

Proof of Theorem 3.1

Let x \in X and V \in O(Y,f(x)).
\left. \begin{array}{r} (x \in X)(V \in O(Y,f(x))) \\ f \text{ iseR.c.} \end{array} \right\}\Rightarrow \begin{array}{c} \mbox{}\\ \left. \begin{array}{r} \!\!\!\! f^{-1}[V] \in eR(X,x) \\ U:=f^{-1}[V] \end{array} \right\} \Rightarrow (U \in eR(X,x))(f[U] \subseteq V \subseteq cl(V)). \end{array}

Theorem

Theorem 3.2

HJTD

Let f : X \rightarrow Y be a function. If f is eR-continuous, then f is e-continuous.

Proof of Theorem 3.2

It is obvious from Definitions 2.1 and 3.2.

Uses Definition 2.1, Definition 3.2

Remark

Remark 3.1

B781

From Definitions 2.1, 3.1 and 3.2, we have the following diagram. The converses of the below implications are not true in general, as shown in the related articles and following examples.

\begin{array}{ccccccccc} & & \text{st.}\theta \text{.}s\text{.c.} & & & & BR\text{.c.} & \longrightarrow & \text{w.$b$.c.} \\ & \nearrow & & \searrow & & & \downarrow & \nearrow & \uparrow \\ \text{st.}\theta \text{.c.} & & & & \text{st.}\theta \text{.}b\text{.c.} & \longrightarrow & \text{w.}BR\text{.c.} & \longleftarrow & \text{w.co.} \\ & \searrow & & \nearrow & & & & \swarrow & \downarrow \\ & & \text{st.}\theta \text{.}p\text{.c.} & \longrightarrow & \text{st.}\theta \text{.}e\text{.c.} & \longrightarrow & \text{w.}eR\text{.c.} & \longrightarrow & \text{w.$e$.c.} \\ & & & & & & \uparrow & \nearrow & \uparrow \\ & & & & & & eR\text{.c.} & \longrightarrow & \text{$e$.c.} \end{array}

Uses Definition 2.1, Definition 3.1, Definition 3.2

Example

Example 3.1

MGGV

et X = \{a, b, c, d, e\} and \tau = \{\emptyset,\{a\},\{c\},\{a, c\},\{c, d\},\{a, c, d\},X \} and \sigma = \{\emptyset, X, \{b, c, d\}\}. Then the function f : (X, \tau) \rightarrow (X, \sigma) by f=\{(a,e),(b,b),(c,c),(d,d),(e,a)\} is weakly eR-continuous but it is not strongly \theta-e-continuous.

Example

Example 3.2

CRVH

et X = \{a, b, c, d, e\} and \tau = \{\emptyset,\{a\},\{c\},\{a, c\},\{c, d\},\{a, c, d\},X \} and \sigma = \{ \emptyset,X, \{b, c, d\}\}. Then the function f : (X, \tau) \rightarrow (X, \sigma) by f=\{(a,b),(b,a),(c,c),(d,d),(e,e)\} is weakly eR-continuous but it is not eR-continuous.

Example

Example 3.3

APV8

et X = \{a, b, c, d\} and \tau = \{\emptyset,\{a\},\{b\},\{a, b\},\{a, b, c\},X\} and \sigma = \{\emptyset, X, \{a\},\{b,c\}, \{a, b, c\}\}. Then the function f : (X, \tau) \rightarrow (X, \sigma) by f=\{(a,a),(b,c),(c,b),(d,d)\} is both e-continuous and weakly e-continuous but it is not eR-continuous.

Theorem

Theorem 3.3

DMAP

For a function f:X\rightarrow Y, the followings are equivalent: (1) f is weakly eR-continuous; (2) for all x\in X and all open set V of Y containing f(x), there exists an e-\theta-open set U in X containing x such that f[U]\subseteq cl(V); (3) e-cl_{\theta }(f^{-1}[U])\subseteq f^{-1}[cl(U)] for all preopen set U of Y; (4) f^{-1}[U]\subseteq e-int_{\theta }(f^{-1}[cl(U)]) for all preopen set U of Y; (5) e-cl_{\theta }(f^{-1}[int(cl(B))])\subseteq f^{-1}[cl(B)] for all subset B of Y; (6) e-cl_{\theta }(f^{-1}[int(F)])\subseteq f^{-1}[F] for all regular closed set F of Y; (7) e-cl_{\theta }(f^{-1}[U])\subseteq f^{-1}[cl(U)] for all open subset U of Y; (8) f^{-1}[U]\subseteq e-int_{\theta }(f^{-1}[cl(U)]) for all open subset U of Y; (9) f[e\mbox{-}cl_\theta(A)]\subseteq cl_{\theta }(f[A]) for all subset A of X; (10) e-cl_{\theta }(f^{-1}[B])\subseteq f^{-1}[cl_\theta(B)] for all subset B of Y; (11) e-cl_{\theta }(f^{-1}[int(cl_\theta(B))])\subseteq f^{-1}[cl_\theta(B)] for all subset B of Y.

Used by Proof, Proof, Proof, Proof

Proof of Theorem 3.3

(1) \Rightarrow (2): Let x \in X and V \in O(Y,f(x)).
\left. \begin{array}{r} (x \in X)(V \in O(Y,f(x))) \\ \mbox{ Hypothesis} \end{array} \right\}\Rightarrow \begin{array}{c} \mbox{}\\ \left. \begin{array}{r} \!\!\!\! (\exists U \in eR(X,x))(f[U] \subseteq cl(V)) \\ eR(X) \subseteq e \theta O(X) \end{array} \right\} \Rightarrow \end{array}
\begin{array}{l} \Rightarrow (\exists U \in e \theta O(X,x))(f[U] \subseteq cl(V)). \end{array}

(2) \Rightarrow (3): Let x \in X \setminus f^{-1}[cl(G)] and G \in PO(Y).
\left.\begin{array}{rr} x \in X \setminus f^{-1}[cl(G)] \Rightarrow f(x) \in Y \setminus cl(G) \Rightarrow (\exists V \in O(Y,f(x)))(V \cap G = \emptyset)\\ \mbox{Hypothesis} \end{array}\right\} \Rightarrow
\begin{array}{l} \Rightarrow (\exists U \in e \theta O(X,x))(f[U] \subseteq cl(V))(V \cap G = \emptyset) \end{array}
\begin{array}{l} \Rightarrow (\exists U \in e \theta O(X,x))(f[U] \cap G = \emptyset) \end{array}
\begin{array}{l} \Rightarrow (\exists U \in e \theta O(X,x))(U \cap f^{-1}[G] = \emptyset) \end{array}
\begin{array}{l} \Rightarrow x \notin e\mbox{-}cl_\theta(f^{-1}[G]) \end{array}
\begin{array}{l} \Rightarrow x \in X \setminus e\mbox{-}cl_\theta(f^{-1}[G]). \end{array}

(3) \Rightarrow (4): Let G \in PO(Y).
\left.\begin{array}{rr} G \in PO(Y) \Rightarrow Y \setminus cl(G) \in O(Y) \subseteq PO(Y)\\ \mbox{Hypothesis} \end{array}\right\} \Rightarrow e\mbox{-}cl_\theta ( f^{-1}[Y\setminus cl(G)]) \subseteq f^{-1}[cl(Y\setminus cl(G))]
\begin{array}{l} \Rightarrow X \setminus e\mbox{-}int_\theta ( f^{-1}[cl(G)]) \subseteq X \setminus f^{-1}[int(cl(G))] \subseteq X \setminus f^{-1}[G] \end{array}
\begin{array}{l} \Rightarrow f^{-1}[G] \subseteq e\mbox{-}int_\theta ( f^{-1}[cl(G)]). \end{array}

(4) \Rightarrow (5): Let B \subseteq Y.
\left.\begin{array}{rr} B \subseteq Y \Rightarrow Y \setminus cl(B) \in O(Y) \subseteq PO(Y)\\ \mbox{Hypothesis} \end{array}\right\} \Rightarrow f^{-1}[Y\setminus cl(B)] \subseteq e\mbox{-}int_\theta ( f^{-1}[cl(Y\setminus cl(B))])
\begin{array}{l} \Rightarrow X \setminus f^{-1}[cl(B)] \subseteq X \setminus e\mbox{-}cl_\theta ( f^{-1}[int(cl(B))]) \end{array}
\begin{array}{l} \Rightarrow e\mbox{-}cl_\theta ( f^{-1}[int(cl(B))]) \subseteq f^{-1}[cl(B)]. \end{array}

(5) \Rightarrow (6): Let F \in RC(Y).
\left.\begin{array}{rr} F \in RC(Y) \Rightarrow int(F) \subseteq Y\\ \mbox{Hypothesis} \end{array}\right\} \Rightarrow
\begin{array}{l} \Rightarrow e\mbox{-}cl_\theta (f^{-1}[int(F)]) = e\mbox{-}cl_\theta (f^{-1}[int(cl(int(F)))]) \subseteq f^{-1}[cl(int(F))] = f^{-1}[F]. \end{array}

(6) \Rightarrow (7): Let U \in O(Y).
\left.\begin{array}{rr} U \in O(Y) \Rightarrow cl(U) \in RC(Y)\\ \mbox{Hypothesis} \end{array}\right\} \Rightarrow e\mbox{-}cl_\theta (f^{-1}[U]) \subseteq e\mbox{-}cl_\theta (f^{-1}[int(cl(U))]) \subseteq f^{-1}[cl(U)].

(7) \Rightarrow (8): Let U \in O(Y).
\left.\begin{array}{rr} U \in O(Y) \Rightarrow Y \setminus cl(U) \in O(Y) \\ \mbox{Hypothesis} \end{array}\right\} \Rightarrow e\mbox{-}cl_\theta (f^{-1}[Y \setminus cl(U)]) \subseteq f^{-1}[cl(Y \setminus cl(U))]
\begin{array}{l} \Rightarrow X \setminus e\mbox{-}int_\theta (f^{-1}[cl(U)]) \subseteq X \setminus f^{-1}[int(cl(U))] \subseteq X \setminus f^{-1}[U] \end{array}
\begin{array}{l} \Rightarrow f^{-1}[U] \subseteq f^{-1}[int(cl(U))] \subseteq e\mbox{-}int_\theta (f^{-1}[cl(U)]). \end{array}

(8) \Rightarrow (9): Let A \subseteq X.
\left.\begin{array}{rr} A \subseteq X \Rightarrow int(Y \setminus f[A]) \in O(Y) \\ \mbox{Hypothesis} \end{array}\right\} \Rightarrow f^{-1}[int(Y \setminus f[A])] \subseteq e\mbox{-}int_\theta (f^{-1}[cl(int(Y \setminus f[A]))])
\begin{array}{l} \Rightarrow X \setminus f^{-1}[cl(f[A])] \subseteq X \setminus e\mbox{-}cl_\theta (f^{-1}[int(cl(f[A]))]) \end{array}
\begin{array}{l} \Rightarrow f[e\mbox{-}cl_\theta (f^{-1}[int(cl(f[A]))])]\subseteq f[f^{-1}[cl(f[A])]] \end{array}
\begin{array}{l} \Rightarrow f[e\mbox{-}cl_\theta(A)]\subseteq cl_{\theta }(f[A]). \end{array}

(9) \Rightarrow (10): Let B \subseteq Y.
\left.\begin{array}{rr} B \subseteq Y \Rightarrow f^{-1}[B] \subseteq X \\ \mbox{Hypothesis} \end{array}\right\} \Rightarrow f[e\mbox{-}cl_\theta (f^{-1}[B])] \subseteq cl_\theta (f[f^{-1}[B]]) \subseteq cl_\theta (B)
\begin{array}{l} \Rightarrow e\mbox{-}cl_\theta (f^{-1}[B]) \subseteq f^{-1}[f[e\mbox{-}cl_\theta (f^{-1}[B])]] \subseteq f^{-1}[cl_\theta (f[f^{-1}[B]])] \subseteq f^{-1}[cl_\theta (B)]. \end{array}

(10) \Rightarrow (11): Let B \subseteq Y.
\left.\begin{array}{rr} B \subseteq Y \Rightarrow int(cl_\theta (B)) \subseteq Y \\ \mbox{Hypothesis} \end{array}\right\} \Rightarrow e\mbox{-}cl_\theta (f^{-1}[int(cl_\theta (B))]) \subseteq f^{-1}[cl_\theta (int(cl_\theta (B)))] \subseteq f^{-1}[cl_\theta (B)].

(11) \Rightarrow (1): Let x \in X and U \in O(Y,f(x)).
\left. \begin{array}{r} (x \in X)(U \in O(Y,f(x))) \\ \mbox{ Hypothesis} \end{array} \right\}\Rightarrow \begin{array}{c} \mbox{}\\ \left. \begin{array}{r} \!\!\!\!\! e\mbox{-}cl_\theta (f^{-1}[int(cl_\theta (U))]) \subseteq f^{-1}[cl_\theta (U)]\\ U \subseteq int(cl(U))=int(cl_\theta(U)) \end{array} \right\} \Rightarrow \end{array}
\begin{array}{l} \Rightarrow e\mbox{-}cl_\theta (f^{-1}[U]) \subseteq e\mbox{-}cl_\theta (f^{-1}[int(cl_\theta (U))]) \subseteq f^{-1}[cl_\theta (U)] \overset{\text{Lemma \ref{bsa}} }{=} f^{-1}[cl(U)] \end{array}

It follows by (1) \Leftrightarrow (7) that f is weakly eR continuous.

Uses Lemma 2.2

Definition

Definition 3.3

CXQ3

[jumaili-yang] A function f : X \rightarrow Y is called to be contra e\theta-continuous (briefly c.e\theta.c.) if f^{-1}[V] is e-\theta-closed in X for every open set V of Y.

Theorem

Theorem 3.4

WPTA

If f : X \rightarrow Y is contra e\theta-continuous, then f is weakly eR-continuous.

Proof of Theorem 3.4

Let V \in O(Y).
\left.\begin{array}{rr} V \in O(Y)\\ f \mbox{ is c.e.c.} \end{array}\right\} \Rightarrow f^{-1}[V] \in e\theta C(X) \Rightarrow e\mbox{-}cl_\theta(f^{-1}[V])=f^{-1}[V] \subseteq f^{-1}[cl(V)]
Then by 3.3(7) f is weakly eR-continuous.

Uses Theorem 3.3

Theorem

Theorem 3.5

0233

For a function f : X \rightarrow Y, the followings are equivalent: (1) f is weakly eR-continuous at x \in X; (2) x \in e\mbox{-}int_{\theta}(f^{-1}[cl(V)]) for each neighborhood V of f(x).

Used by Proof

Proof of Theorem 3.5

(1) \Rightarrow (2): Let V \in O(Y,f(x)).
\left.\begin{array}{rr} V \in O(Y,f(x))\\ \mbox{Hypothesis} \end{array}\right\} \Rightarrow (\exists U \in eR(X,x))(f[U] \subseteq cl(V)) \Rightarrow (\exists U \in eR(X,x))(U \subseteq f^{-1}[cl(V)])
\begin{array}{l} \Rightarrow (\exists U \in eR(X,x))(U \subseteq e\mbox{-}int_{\theta}(U) \subseteq e\mbox{-}int_\theta(f^{-1}[cl(V)])) \end{array}
\begin{array}{l} \Rightarrow x \in e\mbox{-}int_{\theta}(f^{-1}[cl(V)]). \end{array}

(2) \Rightarrow (1): Let V \in O(Y,f(x)).
\left.\begin{array}{rr} V \in O(Y,f(x))\\ \mbox{Hypothesis} \end{array}\right\} \Rightarrow x \in e\mbox{-}int_{\theta}(f^{-1}[cl(V)]) \Rightarrow (\exists U \in eR(X,x))(f[U] \subseteq cl(V))

Thus, f is weakly eR-continuous at x \in X.

Lemma

Lemma 3.1

2WBQ

[ozkoc-izci] Let X be a topological space and A,B \subseteq X. If A \in aO(X) and B \in eO(X), then A \cap B \in eO(X).

Used by Proof, Proof

Theorem

Theorem 3.6

EEZJ

If f : X \rightarrow Y is weakly eR-continuous at x \in X, then there exists a nonempty e-open set U \subseteq H such that U \subseteq e\mbox{-}cl_{\theta }(f^{-1}[cl(V)]) for every neighborhood V of f(x) and every a-open neighborhood H of x.

Proof of Theorem 3.6

Let H \in aO(X,x) ve V \in O(Y,f(x)).
\left.\begin{array}{rr} (H \in aO(X,x))(V \in O(Y,f(x)))\\ f \mbox{ is w.eR.c. atx X} \end{array}\right\} \overset{\text{Theorem } \ref{4}}{\Rightarrow } x \in e\mbox{-}int_{\theta}(f^{-1}[cl(V)])
\left.\begin{array}{rr} \overset{\text{Lemma } \ref{*}(9)}{\Rightarrow} (\exists G \in eR(X,x))(G \subseteq e\mbox{-}int_{\theta}(f^{-1}[cl(V)]))\\ U:=G \cap H \end{array}\right\} \overset{\text{Lemma } \ref{5}}{\Rightarrow }
\begin{array}{l} \Rightarrow (U \in eO(X,x))(U \subseteq H)(U \subseteq G \subseteq e\mbox{-}int_{\theta }(f^{-1}[cl(V)]) \subseteq e\mbox{-}cl_{\theta }(f^{-1}[cl(V)])). \end{array}

Uses Theorem 3.5, Lemma 2.1, Lemma 3.1

Theorem

Theorem 3.7

XHC7

Let f : X \rightarrow Y be a function. If f^{-1}[cl_\theta(U)] is e-\theta-closed in X for every subset U of Y, then f is weakly eR-continuous.

Proof of Theorem 3.7

Let f^{-1}[cl_\theta(U)] is e-\theta-closed in X for every subset U of Y.
\begin{array}{l} (U \subseteq Y)(f^{-1}[cl_\theta (U)]) \in e\theta C(X)) \Rightarrow e\text{-}cl_\theta (f^{-1}[U]) \subseteq e\text{-}cl_\theta (f^{-1}[cl_\theta (U)])=f^{-1}[cl_\theta (U)] \end{array}
Then by Theorem 3.3(10), f is weakly eR-continuous.

Uses Theorem 3.3

Theorem

Theorem 3.8

OYP6

Let f : X \rightarrow Y be a weakly eR-continuous function. Then the followings hold:
(1) f^{-1}[U] is e-\theta-open in X for each \theta-open set U of Y,
(2) f^{-1}[V] is e-\theta-closed in X for each \theta-closed set V of Y.

Proof of Theorem 3.8

It follows from Theorem 3.3.

Uses Theorem 3.3

Theorem

Theorem 3.9

HCTA

[ozkoc-aslim] A function f: X \rightarrow Y strongly \theta-e-continuous if and only if for all x \in X and all open set V of Y containing f(x), there exists U \in eR(X,x) such that f(U) \subseteq V.

Used by Proof

Theorem

Theorem 3.10

0RAJ

Let f: X \rightarrow Y be a function. If Y is regular, then the followings are equivalent:
(1) f is weakly eR-continuous;
(2) f is strongly \theta-e-continuous.

Proof of Theorem 3.10

(1) \Rightarrow (2): Let x \in X and V \in O(Y,f(x)).
\left. \begin{array}{r} (x \in X)(V \in O(Y,f(x))) \\ Y \mbox{ is regular} \end{array} \right\}\Rightarrow \begin{array}{c} \mbox{}\\ \left. \begin{array}{r} \!\!\!\! (\exists H \in O(Y,f(x)))(cl(H) \subseteq V) \\ f \mbox{ is w.eR.c.} \end{array} \right\} \Rightarrow \end{array}
\begin{array}{l} \Rightarrow (\exists U \in eR(X,x))(f[U] \subseteq cl(H) \subseteq V) \end{array}
Then by Theorem 3.9 f is strongly \theta-e-continuous.

(2) \Rightarrow (1): It is obvious from Definitions 2.1 and 3.1.

Uses Theorem 3.9, Definition 2.1, Definition 3.1

Definition

Definition 4.1

6WVZ

A space X is called to be e-connected [ekici3] if X is not the union of two disjoint nonempty e-open sets.

Theorem

Theorem 4.1

RBT0

If f : X \rightarrow Y is a weakly eR-continuous surjection and X is e-connected, then Y is connected.

Proof of Theorem 4.1

Suppose that Y is not connected.
\left. \begin{array}{c} Y\mbox{ is not connected}\Rightarrow (\exists A,B\in O(Y) \setminus \{\emptyset\} )(A\cap B=\emptyset )(A\cup B=Y) \end{array} \right. \left. \begin{array}{r} \Rightarrow (A,B\in CO(Y)\setminus \{\emptyset \})(A\cap B=\emptyset )(A\cup B=Y) \\ f\mbox{ is w.eR.c.} \end{array} \right\} \overset{\text{Theorem \ref{3}(8)}}{\Rightarrow } \begin{array}{r} \Rightarrow f^{-1}[A]\subseteq e\mbox{-}int_\theta(f^{-1}[cl(A)])=e\mbox{-}int_\theta(f^{-1}[A]) \end{array}
\left. \begin{array}{r} \! \Rightarrow (f^{-1}[B]\subseteq e\mbox{-}int_\theta(f^{-1}[cl(B)])=e\mbox{-}int_\theta(f^{-1}[B]))(f^{-1}[A\cap B]=\emptyset )(f^{-1}[A\cup B]=X) \\ f\mbox{ is surjection} \end{array} \right\} \Rightarrow \left. \begin{array}{c} \Rightarrow (f^{-1}[A],f^{-1}[B]\in eO(X)\setminus \{\emptyset \})(f^{-1}[A]\cap f^{-1}[B] =\emptyset )(f^{-1}[A]\cup f^{-1}[B] =X) \end{array} \right.

This is a contradiction to the fact that X is e-connected. Thus, Y is connected.

Uses Theorem 3.3

Definition

Definition 4.2

KFNS

A space X is called:
\textit{(1)} Urysohn [willard] if for all distinct two points x and y in X, there exist open sets U and V such that x \in U, y \in V and cl(U) \cap cl(V) = \emptyset.
\textit{(2)} Clopen T_2 [ekici] if for all distinct two points x and y in X, there exist disjoint clopen sets U and V of X such that x \in U, y \in V and U \cap V = \emptyset.
\textit{(3)} eR-T_1 if for all distinct two points x and y in X, there exist e-regular sets U and V of X containing x and y, respectively, such that y \notin U and x \notin V.
\textit{(4)} eR-T_2 if for all distinct two points x and y in X, there exist disjoint e-regular sets U and V of X such that x \in U, y \in V and U \cap V = \emptyset.

Remark

Remark 4.1

NRNQ

Every clopen T_2 space is eR-T_2. This implication is not reversible as shown in the following example.

Example

Example 4.1

TB1N

et X=\{a, b, c, d\} and \tau=\{\emptyset,\{a\},\{b\},\{a, b\},\{a, b, c\},\{a, b, d\}, X\}. It is not difficult to see CO(X)=\{ \emptyset, X\} and eR(X)=2^X \setminus \{\{c\},\{d\},\{c,d\}, \{a,b\}, \{a,b,c\},\{a,b,d\}\}. Then (X, \tau) is eR-T_2 but it is not clopen T_2.

Theorem

Theorem 4.2

GTVV

Let f : X \rightarrow Y is a weakly eR-continuous function and g : X \rightarrow Y is a weakly a-continuous function. If Y is Urysohn, then A=\{x|f(x)=g(x)\} \in eC(X).

Proof of Theorem 4.2

Let x \notin A.
\left. \begin{array}{r} x \notin A \Rightarrow f(x) \neq g(x)\\ Y \text{ is Urysohn} \end{array} \right\} \Rightarrow
\left. \begin{array}{r} \Rightarrow (\exists V_1 \in O(Y,f(x)))(\exists V_2 \in O(Y,g(x)))(cl(V_1) \cap cl(V_2)=\emptyset) \\ (f \text { is w.eR.c.})(g \text { is w.a.c.}) \end{array} \right\} \Rightarrow
\left.\begin{array}{rr} \Rightarrow (\exists U \in eR(X,x))(\exists G \in aO(X,x))(f[U] \subseteq cl(V_1))(g[G] \subseteq cl(V_2))\\ W:=U \cap G \end{array}\right\} \overset{\text{Lemma } \ref{5}}{\Rightarrow}
\begin{array}{l} \Rightarrow (\exists W \in eO(X,x))(f[W] \cap g[W] \subseteq f[U] \cap g[G] \subseteq cl(V_1) \cap cl(V_2)=\emptyset) \end{array}
\begin{array}{l} \Rightarrow (\exists W \in eO(X,x))(W \cap A=\emptyset) \end{array}
\begin{array}{l} \Rightarrow x \notin e\text{-}cl(A). \end{array}

Uses Lemma 3.1

Theorem

Theorem 4.3

MJTD

Let f: X \rightarrow Y be a weakly eR-continuous injection. If Y is Hausdorff, then X is eR-T_1.

Proof of Theorem 4.3

Let x,y \in X and x \neq y.
\left. \begin{array}{r} (x,y \in X)(x \neq y) \overset{f\text{ is injective}}{\Rightarrow} f(x) \neq f(y)\\ Y \mbox{ is Hausdorff} \end{array} \right\} \Rightarrow (\exists U \in O(Y,f(x))(\exists V \in O(Y,f(y))(U \cap V=\emptyset)
\left. \begin{array}{r} \Rightarrow (\exists U \in O(Y,f(x))(\exists V \in O(Y,f(y))(f(x) \notin cl(V))(f(y) \notin cl(U))\\ f \mbox{ is w.eR.c.} \end{array} \right\} \Rightarrow
\begin{array}{l} \Rightarrow (\exists A \in eR(X,x))(\exists B \in eR(X,y))(f[A] \subseteq cl(U))(f[B] \subseteq cl(V)) \end{array}
\begin{array}{l} \Rightarrow (\exists A \in eR(X,x))(\exists B \in eR(X,y))(y \notin A)(x \notin B). \end{array}

Theorem

Theorem 4.4

ABVK

Let f: X \rightarrow Y be a weakly eR-continuous injection. If Y is Urysohn, then X is eR-T_2.

Proof of Theorem 4.4

Let x,y \in X and x \neq y.
\left. \begin{array}{r} (x,y \in X)(x \neq y) \overset{f\text{ is injective}}{\Rightarrow} f(x) \neq f(y)\\ Y \mbox{ is Urysohn} \end{array} \right\} \Rightarrow
\left. \begin{array}{r} \Rightarrow (\exists U \in O(Y,f(x))(\exists V \in O(Y,f(y))(cl(U) \cap cl(V)=\emptyset) \\ f \mbox { is w.eR.c.} \end{array} \right\} \Rightarrow
\begin{array}{l} \Rightarrow (\exists A \in eR(X,x))(\exists B \in eR(X,y))(f[A] \subseteq cl(U))(f[B] \subseteq cl(V)) \end{array}
\begin{array}{l} \Rightarrow (\exists A \in eR(X,x))(\exists B \in eR(X,y))(A \subseteq f^{-1}[cl(U)])(B \subseteq f^{-1}[cl(V)]) \end{array}
\begin{array}{l} \Rightarrow (\exists A \in eR(X,x))(\exists B \in eR(X,y))(A \cap B \subseteq f^{-1}[cl(U)] \cap f^{-1}[cl(V)]=\emptyset). \end{array}

Corollary

Corollary 4.4A

HA1O

Let f: X \rightarrow Y be a weakly clopen injection. If Y is Urysohn, then X is eR- T_2.

Theorem

Theorem 4.5

B376

Let \{X_{\alpha }|\alpha \in I\} and \{Y_{\alpha }|\alpha \in I \} be any two families of topological spaces. If f_\alpha: X_\alpha \rightarrow Y_\alpha is weakly eR-continuous for each \alpha \in I, then the function f:\Pi X_{\alpha }\rightarrow \Pi Y_{\alpha } is weakly eR-continuous.

Proof of Theorem 4.5

Let x=\{x_{\alpha }\}\in \Pi X_{\alpha } and V\in O(\Pi Y_{\alpha },f(x)).
\begin{array}{l} V\in O(\Pi Y_{\alpha },f(x))\Rightarrow (\exists J=\{\alpha _{1},\alpha _{2},\ldots ,\alpha _{n}\}\subseteq I) \end{array}
\left. \begin{array}{r} \left( W_{\alpha }:=\left\{ \begin{array}{ccc} W_{\alpha _{j}}\in O(Y_{\alpha _{j}}) & , & \alpha \in J \\ Y_{\alpha } & , & \alpha \notin J \end{array} \right. \right)\left( \Pi W_{\alpha }\in O(\Pi Y_{\alpha },f(x))\right) \left( \newline \Pi W_{\alpha }\subseteq V\right) \\ (\forall \alpha \in I)(f_{\alpha }\mbox{ is w.eR.c.}) \end{array} \right\} \Rightarrow \left. \begin{array}{r} \Rightarrow (\exists U_{\alpha }\in eR(X_{\alpha },x_{\alpha }))\left( f_{\alpha }[U_{\alpha }]\subseteq cl(W_{\alpha })\right) \\ U:=\prod\limits_{j=1}^{n}U_{\alpha _{j}}\times \prod\limits_{\alpha \notin J}X_{\alpha } \end{array} \right\} \Rightarrow
\left. \begin{array}{c} \Rightarrow (U\in eR(\Pi X_{\alpha },x))\left( f[U]\subseteq \prod\limits_{j=1}^{n}f_{\alpha }[ U_{\alpha _{j}}] \times \prod\limits_{\alpha \notin J}Y_{\alpha }\subseteq \prod\limits_{j=1}^{n}cl( W_{\alpha _{j}}) \times \prod\limits_{\alpha \notin J}Y_{\alpha }\subseteq cl(V)\right). \end{array} \right.

Theorem

Theorem 4.6

YC8Y

Let f : X \rightarrow Y be a function. If the graph function g is weakly eR-continuous, then f is weakly eR-continuous.

Proof of Theorem 4.6

Let x \in X and V \in O(Y,f(x)).
\left.\begin{array}{rr} (x \in X)(V \in O(Y,f(x))) \Rightarrow X \times V \in O(X \times Y,g(x))\\ g \mbox{ is w.eR.c.} \end{array}\right\} \Rightarrow
\begin{array}{l} \Rightarrow (\exists U \in eR(X,x))(g[U] \subseteq cl(X \times V)= X \times cl(V)) \end{array}
\begin{array}{l} \Rightarrow (\exists U \in eR(X,x))(f[U] \subseteq cl(V)). \end{array}

Definition

Definition 4.3

Z80L

A function f: X \rightarrow Y has an er-graph if for all (x,y) \notin G(f), there exist U \in eR(X,x) and V \in O(Y,y) such that (U \times cl(V)) \cap G(f)= \emptyset.

Used by Proof

Lemma

Lemma 4.1

V4LD

A function f: X \rightarrow Y has an er-graph if and only if for all (x,y)\notin G(f), there exist U\in eR(X,x) and V \in O(Y,y) such that f\left[ U\right] \cap cl(V)=\emptyset .

Used by Proof

Proof of Lemma 4.1

It is obvious from Definition 4.3.

Uses Definition 4.3

Theorem

Theorem 4.7

ALDB

If f: X \rightarrow Y is weakly eR-continuous and Y is a Urysohn space, then G(f) is an er-graph.

Proof of Theorem 4.7

Let (x,y) \notin G(f).
\left.\begin{array}{rr} (x,y) \notin G(f) \Rightarrow y \neq f(x)\\ Y \mbox{ is Urysohn} \end{array}\right\} \Rightarrow
\left.\begin{array}{rr} \Rightarrow (\exists A\in O(X,f(x)))(\exists B\in O(Y,y))(cl(A) \cap cl(B)=\emptyset )\\ f\mbox{ is w.eR.c.} \end{array}\right\} \Rightarrow
\begin{array}{c} \Rightarrow (\exists G\in eR(X,x))(\exists B\in O(Y,y))(f[G]\subseteq cl(A)) \end{array}
\begin{array}{c} \Rightarrow (\exists G\in eR(X,x))(\exists B\in O(Y,y))(f[G] \cap cl(B)= \emptyset) \end{array}
\begin{array}{c} \Rightarrow (\exists G\in eR(X,x))(\exists B\in O(Y,y))((G\times cl(B))\cap G(f)=\emptyset). \end{array}

Theorem

Theorem 4.8

WP1V

If f: X \rightarrow Y has an er-graph and a weakly eR-continuous injection, then X is eR-T_2.

Proof of Theorem 4.8

Let x,y \in X and x \neq y.
\left.\begin{array}{rr} (x,y \in X)(x \neq y) \overset{f \text{ is injective}}{\Rightarrow} f(x) \neq f(y) \Rightarrow (x,f(y)) \notin G(f) \\ G(f) \mbox{ iser-graph} \end{array}\right\} \Rightarrow
\begin{array}{l} \Rightarrow (\exists U\in eR(X,x))(\exists V\in O(Y,f(y)))( (U\times cl(V))\cap G(f)=\emptyset) \end{array}
\left.\begin{array}{rr} \Rightarrow (\exists U\in eR(X,x))(\exists V\in O(Y,f(y)))( f[U]\cap cl(V)=\emptyset) \\ f \mbox{ is w.eR.c.} \end{array}\right\} \Rightarrow
\begin{array}{c} \Rightarrow (\exists U\in eR(X,x))(\exists W\in eR(X,y))(f[W]\subseteq cl(V)) \end{array}
\begin{array}{c} \Rightarrow (\exists U\in eR(X,x))(\exists W\in eR(X,y))(f[U]\cap f[W] = \emptyset) \end{array}
\begin{array}{c} \Rightarrow (\exists U\in eR(X,x))(\exists W\in eR(X,y))(U \cap V = \emptyset). \end{array}

Definition

Definition 4.4

HHNF

A space X is called to be eR-compact if every cover of X by e-regular sets has a finite subcover.

Theorem

Theorem 4.9

HTME

Let f: X \rightarrow Y be a function having an er-graph G(f), then f[K] is \theta-closed in Y for all eR-compact relative to X subset K.

Proof of Theorem 4.9

Let K be eR-compact relative to X and y\notin f[K]. \left. \begin{array}{r} y\notin f[K]\Rightarrow (\forall x\in K)(\left( x,y\right) \notin G(f)) \\ G(f) \mbox{ iser-graph} \end{array} \right\} \overset{\text{Lemma \ref{10}}}{\Rightarrow} \begin{array}{c} \Rightarrow (\exists U_{x}\in eR(X,x))(\exists V_{x}\in O(Y,y))(f[U_{x}]\cap cl( V_{x})=\emptyset ) \end{array}
\left. \begin{array}{r} \Rightarrow (\{U_{x}|x\in K\}\subseteq eR(X))(K\subseteq \bigcup \{U_{x}|x\in K\}) \\ K\mbox{ is }eR\mbox{-compact relative to }X \end{array} \right\} \Rightarrow \left. \begin{array}{r} \Rightarrow (\exists K^{\ast }\subseteq K)(|K^{\ast }|<\aleph_{0})\newline (K\subseteq \bigcup \{U_{x}|x\in K^{\ast }\}) \\ V:=\underset{x\in K^{\ast }}{\bigcap}V_{x}\in O(Y,y) \end{array} \right\} \Rightarrow \left. \begin{array}{c} \Rightarrow \left( V\in O(Y,y)\right) \left( f[K]\cap V\subseteq \left( \underset{x\in K^{\ast }}{\bigcup }f\left[U_{x}\right] \right) \cap cl(V) \subseteq \underset{x\in K^{\ast }}{\bigcup}\left(f\left[U_{x}\right] \cap cl(V) \right)=\emptyset \right) \newline \end{array} \newline \right. \left. \begin{array}{c} \Rightarrow y\notin cl_{\theta }(f[K]).\newline \end{array} \newline \right.

Uses Lemma 4.1

Source and licence

The text on this page is from arXiv:2405.09294v1 by B. S. Ayhan, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.

The record of each item is in analysis/objects/2405/2405.09294.jsonl.