# Name of a generalized version of semi-continuity

I have recently made use of the following generalization of a continuous function, which seems simple enough it ought to have been used before, but I cannot find any references.

We will say a function $f$ has a semi-continuity property if $f^{-1}(U)$ contains a non-empty open set whenever $U$ is a non-empty open set.

Is this a studied property? If $f:X\to Y$ and $Y$ is disconnected, then this disagrees with usual continuity but does provide some nice properties. For instance, if $D$ is a dense set, then $f(D)$ is dense.

• The empty set is open. Do you mean $f^{-1}U$ contains a non-empty open set whenever $U$ is a non-empty open set? – Anthony Quas Aug 5 '14 at 21:35
• I do. The question has been corrected. – Jason Siefken Aug 5 '14 at 21:42
• I wouldn't call this "semi-continuity", since upper and lower semi-continuity have nothing to do with this. – Robert Israel Aug 5 '14 at 22:11
• Here's a note: A sufficient condition for $f : X \to Y$ to have this property is that there is an open set $U \subset X$ such that $f$ is continuous on $U$, and $f(U) = f(X)$. If so, then on $X \setminus U$, $f$ can be as discontinuous as it likes. – Nate Eldredge Aug 6 '14 at 2:07
• @Shamisen The property that I have used is if $(X,T)$ and $(Y,S)$ are dynamical systems with $f\circ T = S\circ f$ and $f$ is onto, then if $f$ has this property, $(X,T)$ minimal implies $(Y,T)$ is minimal. Though this follows quickly from the density property. – Jason Siefken Aug 6 '14 at 6:28

I don't know if it's been studied, but here's an example to show how pathological functions with your property can be. Take $X = Y = (0,1)$. Enumerate the nonempty open intervals in $Y$ with rational endpoints as $I_n$, $n \in \mathbb N$. The only constraints we put on $f$ are that $f([1/(n+1),1/n)) \subseteq I_n$. Then $f$ satisfies your property.