% 6/12/2002
% File modified 7/6/00, modifications denoted "JBchange" 

% %%%%%%% FOR LATEX ONLY %\documentstyle[12pt]{article}
 \documentclass[12pt]{article} \usepackage{amssymb} \usepackage{amsmath} %\usepackage{amsthm} %\newcommand{\text}{\mbox} %\newcommand{\Bbb}[1]{{\bf #1}} %\newcommand{\operatorname}[1]{{\rm #1}} %\newcommand{\notag}{\nonumber}
 %%%%%%% END FOR LATEX ONLY %\input StandardMacros %\firstpagenumber{} %\received{} %\coverauthor{} %\covertitle{} \pagestyle{myheadings} \markright{Cardinals ... \ \ \today } 
\title{Generalizing the Blumberg theorem} 
\author{{\small Francis Jordan}% 
\thanks{AMS classification numbers: Primary 26A15; Secondary 54A25 \endgraf Key 
words and phrases: cardinal functions, meager sets, Baire class 1, Baire property. The author would like to thank the referee for helpful comments concerning the presentation of the results.  Thanks are also due to Jack Brown for many helpful comments. The results presented here were found while the author was visiting the University of Louisville, Louisville, KY between 1998 and 2000.\endgraf }, \small Department of Mathematics, University of Mississippi,\\ Oxford, MS 38677\\ (fejord@hotmail.com) } \date{} \newcommand{\rational}{{\Bbb Q}} 
\newcommand{\real}{{\Bbb R}} 
\newcommand{\zp}{{\cal Z}_p} 
\newcommand{\cof}{\operatorname{cf}} \newcommand{\cl}{\operatorname{cl}} 
\newcommand{\bd}{\operatorname{bd}} \newcommand{\interior}{\operatorname{int}} 
\newcommand{\F}{{\cal F}} \newcommand{\G}{{\cal G}} 
\newcommand{\E}{{\cal E}} \newcommand{\baire}{{\cal B}} \newcommand{\diam}{\operatorname{diam}} \newcommand{\non}{{\operatorname {non}}} \newcommand{\perf}{{\cal K}} \newcommand{\ball}{{\operatorname {B}}} \newcommand{\comp}{{\operatorname {J}}} \newcommand{\T}{{\cal T}} \newcommand{\cov}{{\operatorname {cov}}} \newcommand{\dcont}{{D}} \newcommand{\K}{{\cal J}} \newcommand{\seq}{{\cal S}} \newcommand{\osc}{{\operatorname{osc}}} \newcommand{\dist}{{H_d}} \newcommand{\dis}{{\operatorname{dist}}} \newcommand{\nopen}{{\operatorname{N}}} \newcommand{\mopen}{{\operatorname{M}}} \newcommand{\dense}{{\cal G}} \newcommand{\cliq}{{\operatorname{cliq}}} \newcommand{\meager}{{\cal M}} \newcommand{\D}{{\cal D}} \newcommand{\cuum}{{\frak c}} \newcommand{\add}{{\operatorname{add}}} \def\qed{\hfill\vrule height6pt width6pt depth1pt\medskip} \newcommand{\proof}{{\sc Proof.\ }} \newtheorem{theorem}{Theorem} \newtheorem{corollary}[theorem]{Corollary} \newtheorem{proposition}[theorem]{Proposition} \newtheorem{lemma}[theorem]{Lemma} \newtheorem{problem}{Problem} \newtheorem{example}{Example} \newcommand{\thm}[2]{\begin{theorem}\label{#1}#2\end{theorem}} \newcommand{\cor}[2]{\begin{corollary}\label{#1}#2\end{corollary}} \newcommand{\prop}[2]{\begin{proposition}\label{#1}#2\end{proposition}} \newcommand{\lem}[2]{\begin{lemma}\label{#1}#2\end{lemma}} \newcommand{\prob}[2]{\begin{problem}\label{#1}#2\end{problem}} \newcommand{\ex}[2]{\begin{example}\label{#1}#2\end{example}} %%%%%%%%%%%%%%%%%%%%% MISCELLANEOUS %inverse of function 
\newcommand{\inv}[1]{\mbox{$#1^{-1}$}} %conjugation \newcommand{\conj}[2]{\mbox{$#2\circ #1\circ\inv{#2}$}} %characteristic function
\newcommand{\charf}[1]{\mbox{\raise.48ex\hbox{$\chi$}$_{#1}$}} 

\begin{document}
\maketitle 
\begin{abstract}
Given a collection of functions of some class defined on the real line, when can you find a large set upon which the restriction of every function is continuous?  We consider this problem (and related problems) for various classes of functions and various notions of largeness. These problems can be considered in terms of finding the covering, uniformity(non), additivity, and cofinality numbers for some ideal-like collections of sets. 

\end{abstract}
\section{Preliminaries} 

We use standard notation as in \cite{Ci:book}.  
In particular, for a set $X$ we denote its cardinality by $|X|$. Given sets $X$ and $Y$ we denote by $Y^X$ the set of all functions from $X$ into $Y$. We denote by $[X]^{<\kappa}$, $[X]^{\kappa}$, and $[X]^{\leq\kappa}$ the sets of all subsets of $X$ of cardinality less than $\kappa$, equal to $\kappa$, and less than or equal to $\kappa$, respectively. We let $\real$ denote the set of real numbers and $\rational$ stand for the set of rational numbers. The cardinalities of $\real$ and $\rational$ will be denoted by $\cuum$ and $\omega$, respectively. If $A\subseteq\real$ we let $\charf{A}$ stand for the characteristic function of $A$. 

Suppose $X$ is a topological space. For a set $A\subseteq X$ we write $\cl_X(A)$, $\interior_X(A)$, $\bd_X(A)$ for the closure, interior, and boundary of $A$ in $X$, respectively. When it is understood what space we are referring to the subscript will be dropped. When $X$ is a metric space and $\epsilon>0$ we denote the open epsilon ball around $x\in X$ by $\ball_{\epsilon}(x)$.  Let $\meager$, and $\dense$ denote the meager, and co-meager subsets of $X$, respectively. The dense subsets of $X$ will be denoted by $\D$. The collection of compact subsets of $X$ will be denoted by $\comp$. We say a nonempty set $S\subseteq X$ is perfect if $S$ has no isolated points and $S$ is compact. Let $\perf$ be the collection of all perfect subsets of $X$. Finally, we denote by $\T$ the collection of all subsets $S$ of $\real$ with the property that for any $G\in\dense$ and  open set $U\subseteq X$ the set $S\cap G\cap U$ contains a perfect set. 

If a function $f\colon X\to Y$ has the property that for every open set $U\subseteq Y$ the set $f^{-1}(U)$ is an $F_{\sigma}$ set of $X$, then we say $f$ is a Borel class one function. Let $\baire_1$ denote the Borel class one real functions. We let $\baire$ denote the real functions with the Baire property. For a function 
$f\colon X\to\real$ and $S\subseteq X$ we let $\osc(f,S)=\sup\{|f(x)-f(y)|\colon 
x,y\in S\}$. 

We will also need some cardinals connected with the ideal of meager 
subsets of a space $X$: 

\medskip

$\cov_X(\meager)=\min\{|M|\colon M\subseteq\meager\ \&\ \cup M=X\}$ 

\medskip 

$\add_X(\meager)=\min\{|M|\colon M\subseteq\meager\ \&\ \cup M\notin\meager\}$ 

\medskip

$\non_X(\meager)=\min\{|S|\colon S\subseteq X\ \&\ S\notin\meager\}$ 

\medskip 

$\cof_X(\meager)=\min\{|M|\colon M\subseteq\meager\ \&\ (\forall n\in\meager) (\exists m\in M)(n\subseteq m)\}$. \newline
\noindent These 
cardinals have been heavily studied, for example see \cite{BAJU}. In particular, 
it is known that if $X$ is a separable complete uncountable metric space, then $\cov_X(\meager)=\cov_{\real}(\meager)$ and $\non_X(\meager)=\non_{\real}(\meager)$. For this reason we will usually drop the subscript and write $\cov(\meager)$ and $\non(\meager)$ when dealing with separable complete uncountable metric spaces. 

\section{Introduction} 

In 1922 H. Blumberg proved the following theorem \thm{thm:B}{{\rm \cite{Blum}}For any $f\colon\real\to\real$, there is a dense set $D\subseteq\real$ such that $f|_{D}$ is continuous.} In what follows we will consider the following cardinals which involve generalizing Blumberg's Theorem. Let $\F\subseteq\real^{\real}$ and $\K$ a family of subsets of $\real$. 
%JB
In interpreting the definitions of the following cardinal numbers it is helpful to mentally associate with each pair, 
$(\F,\K)$, an "ideal-like" collection of sets of the form: \[\{H\subseteq\K\colon\exists f\in\F\text{ such that $f|_S$ is not continuous for all $S\in H$} \}.\]

\noindent We now define the cardinal numbers associated with the pair $(\F,\K)$.

\medskip

$\cov(\F,\K)$ is the smallest cardinality of a collection $F\subseteq\F$ such that 
%JBchange make rest of definition read more like the others 
for every $D \in\K$, 
there is an $f \in \F$ such that $f|D$ is not continuous. 

\medskip 

$\non(\F,\K)$ is the smallest 
cardinality of a collection $H\subseteq\K$ such that for every $f\in\F$ there is an $S\in H$ such 
that $f|_S$ is continuous, 

\medskip 

$\cof(\F,\K)$ is the minimum cardinality of a collection $F\subseteq\F$ such that for any $g\in\F$ there is an $f\in F$ such that $\{K\in\K\colon g|_K \text{ is discontinuous}\}\subseteq\{K\in\K\colon f|_K \text{ is discontinuous}\}$ 

\medskip 

$\add(\F,\K)$ is the smallest cardinality of a collection $F\subseteq\F$ such that for every $g\in\F$ there is an $f\in F$ and a $H\in\{K\in\K\colon f|_K \text{ is discontinuous}\}$ such that $g|_H$ is continuous. 

\medskip
 
One of these cardinals, $\cov(\real^{\real},\D)$, is indirectly suggested in other places in questions about co-Blumberg spaces. Recall a space $X$ is called co-Blumberg provided that for any function $f\colon\real\to X$ there is a $D\in\D$ such that $f|_{D}$ is continuous. In particular, given the results and questions of  %JBchange change wording to alternative author suggested 
\cite{BRPO} it is natural to ask for which cardinals $\kappa$ is $2^{\kappa}$ 
with the usual product topology a co-Blumberg space. The following easy observation shows the connection between the question above and $\cov(\real^{\real},\D)$. 
\prop{prop:300}{The following cardinals are equal: 
\begin{description} 
\item[(a)] $\cov(\real^{\real},\D)$, 
\item[(b)] $\cov(2^{\real},\D)$, 
\item[(c)] $\lambda=\min\{\kappa\colon 2^{\kappa} \text{ is not co-Blumberg}\}$. 
\end{description}} 
\proof 
Since $2^{\real}\subseteq\real^{\real}$, we have that $\cov(\real^{\real},\D)\leq \cov(2^{\real},\D)$. 

We show that $\cov(2^{\real},\D)\leq\lambda$. Let $\kappa<\cov(2^{\real},\D)$ and $f\colon\real\to 2^{\kappa}$. For each $\alpha\in\kappa$ let $\pi_{\alpha}$ be the projection of $2^{\kappa}$ onto the $\alpha^{th}$ coordinate. Define $f_{\alpha}\in 2^{\real}$ by $f_{\alpha}(r)=\pi_{\alpha}(f(r))$. Since $|\{f_{\alpha}\colon\alpha\in\kappa\}|<\cov(2^{\real},\D)$, there is a $D\in\D$ such that $f_{\alpha}|_D$ is continuous for every $\alpha\in\kappa$. It follows that $f|_D$ is continuous in each coordinate. Thus, $f|_D$ is continuous. So, $\cov(2^{\real},\D)\leq\lambda$. 

We show that $\lambda\leq\cov(\real^{\real},\D)$. Let $F\subseteq\real^{\real}$ be such $|F|=\cov(\real^{\real},\D)$ and $\bigcup_{f\in F}\{D\in\D\colon f|_D \text{ is discontinuous}\}=\D$. Let $\{B_n\}_{n\in\omega}$ be a countable base for $\real$. Let $F^*=\{\charf{B_{n}}\circ f\in 2^{\real}\colon f\in F\ \&\ n\in\omega\}$. Note that $|F^*|\leq\max\{\omega,\cov(\real^{\real},\D)\}$. Notice also that for every $f\in F$ \[\{D\in\D\colon f|_D\text {\ is discontinuous}\}\subseteq \bigcup_{n\in\omega}\{D\in\D\colon (\charf{B_n}\circ f)|_D\text {\ is discontinuous}\}.\] So, $\D=\{D\in\D\colon f^*|_D\text{\ is discontinuous for some } f^*\in F^*\}$. Define $g\colon\real\to 2^{F^*}$ by the formula $g(r)=\langle f^*(r)\rangle_{f^*\in F^*}$. We show that $g$ is continuous on no dense subset of $\real$. Let $D\in\D$. There is an $f\in F$ such that $f|_D$ is not continuous. So there is an $n\in\omega$ such that $(\charf{B_{n}}\circ f)|_D$ is not continuous. Letting $f^*=\charf{B_{n}}\circ f\in F^*$ and $\pi_{f^*}$ be the projection of $2^{F^*}$ onto the $(f^*)^{th}$ coordinate, we have that $(\pi_{f^*}\circ g)|_D$ is not continuous. Thus, $g|_D$ is not continuous. So, $\lambda\leq\max\{\omega,\cov(\real^{\real},\D)\}$. However, $2^{\omega}$ is clearly a co-blumberg space since it embeds into $\real$, so $\omega<\lambda$. Therefore, $\lambda\leq\cov(\real^{\real},\D)$ which completes the proof.\qed 

The information we have on the pair $(\real^{\real},\D)$ is contained in the following 
%JBchange change three results to two results 
two results. 
\thm{thm:3a}{If $\cuum=\omega_2$, then $\cov(\real^{\real},\D)=\omega_1$.} 
\thm{thm:3}{$\add(\real^{\real},\D)=\omega_1$.} 

Aside from working with the pair $(\real^{\real},\D)$ we also consider some pairs involving more regular functions. 
\thm{thm:1}{$\ $ 
\begin{description} \item[(a)]$\cov(\baire_1,\D)=\cov(\baire_1,\T)=\cov(\baire,\T)=\cov(\baire,\D)=\cov(\meager)$. 
\item[(b)]$\non(\baire,\D)=\non(\baire_1,\D)=\non(\meager)$. \item[(c)]$\add(\baire_1,\E)=\add(\baire,\E)=\add(\meager)$ for $\E\in\{\D,\G,\T\}$.
\item[(d)]$\cof(\baire_1,\E)=\cof(\baire,\E)=\cof(\meager)$ for $\E\in\{\D,\G,\T\}$.
\item[(e)]$\cov(\baire_1,\G)=\cov(\baire,\G)=\add(\meager)$. \item[(f)]$\non(\baire_1,\G)=\non(\baire,\G)=\cof(\meager)$. 
\end{description}}
Notice that the values of $\non(\baire_1,\T)$ and $\non(\baire,\T)$ are not mentioned in Theorem~\ref{thm:1}.  The values of these cardinals remains an open question.

\medskip

To state our results about the pair $(\baire_1,\perf)$ we need some definitions. For each $F\subseteq\real$ let 
$\nopen(F)=\{P\in\perf\colon F\cap P \text{ is not $P$-open}\}$. 
Let $\zp$ denote the set of all subsets $H$ of $\perf$ such that there exist a 
countable collection of closed sets $\{C_n\colon n\in\omega\}$ such that $H\subseteq\bigcup_{n\in\omega}\nopen(C_n)$. Clearly, $\zp$ is a $\sigma$-ideal. The relationship between $\zp$ and the pair $(\baire_1,\perf)$ is described in the following theorem: 
\thm{thm:20}{$Z\in\zp$ if and only if there is a $\baire_1$ function $f\colon\real\to\real$ such that $Z\subseteq\{P\in\perf\colon f|_P\text{\ is discontinuous}\}$. 
In particular, $\zp$ is a proper $\sigma$-ideal.} 
More facts about $\zp$ and its structure can be found in Section \ref{sec:20}. Since $\zp$ is a $\sigma$-ideal, we can define the usual cardinals associated with a $\sigma$-ideal. 
\[\cov(\zp)=\min\{|\F|\colon\F\subseteq\zp\ \&\ \bigcup F=\perf\}\] 
\[\non(\zp)=\min\{|F|\colon F\subseteq\perf\ \&\ (F\notin\zp)\}\] \[\add(\zp)=\min\{|\F|\colon\F\subseteq\zp\ \&\ \bigcup_{F\in\F}F\notin\zp\}\] \[\cof(\zp)=\min\{|\F|\colon\F\subseteq\zp\ \&\ (\forall G\in\zp)(\exists F\in\F)(G\subseteq F)\}\] 
\thm{thm:21}{$\ $ 
\begin{description} 
\item[(a)] $\cov(\baire_1,\perf)=\cov(\zp)\geq\cov(\meager)$. 
\item[(b)] $\non(\baire_1,\perf)=\non(\zp)\leq\non(\meager)$. 
\item[(c)] $\add(\baire_1,\perf)=\add(\zp)=\omega_1$. 
\item[(d)] $\cof(\baire_1,\perf)=\cof(\zp)=\cuum$. 
\end{description}} 

In the proof of Theorem~\ref{thm:21} we will use the following notion which actually allows us to give a new characterization of the $\baire_1$ functions. For a function $f\colon\real\to\real$ we call a collection of closed sets ${\cal C}$ an $f$-family provided that for any $P\in\perf$ and $x\in P$ we have that, if $f|_{P}$ is discontinuous at $x$ then, there is a $C\in{\cal C}$ such that $x\in C$ and $x\notin\interior_P(C\cap P)$. 
\thm{thm:30}{If $f\colon\real\to\real$, then the following are equivalent: 
\begin{description} 
\item[(a)] $f\in\baire_1$, 
\item[(b)] there is a countable $f$-family, and 
\item[(c)] there is an $f$-family of cardinality less than $\cov(\meager)$. 
\end{description}} 

\section{Proof of Theorem~\ref{thm:1}} 
We will use the following lemma often in what follows. 
\lem{lem:0}{If $\{A_n\colon n\in\omega\}$ is a collection of closed sets in $\real$ then there is a $g\in\baire_1$ such that for any set $X\subseteq\real$ if $X\cap A_n$ is not open in $X$ for some $n\in\omega$, then $g|_X$ is not continuous.} 
\proof 
For every $n\in\omega$ let $g_n=\charf{A_n}$.  Considering $2^{\omega}$ as being embedded in $\real$, define $g\colon\real\to 2^{\omega}$ by the formula $g(r)=\langle g_n(r)\rangle_{n\in\omega}$.  It is easily seen that $g\in\baire_1$.  Suppose $X\subseteq\real$ and $X\cap A_n$ is not open in $X$.  Clearly, $g_n|_X$ is not continuous. Since $g_n$ is a coordinate function of $g$, we have that $g|_X$ is not continuous. So, $g$ is as desired.\qed 

We first show (b), (c), (d), (e), and (f) of Theorem~\ref{thm:1}. 

\medskip

\noindent We show (c). Suppose $F\subseteq\baire$ and $|F|<\add(\meager)$. For each $f\in F$ the restriction of $f$ to the complement of some meager $F_{\sigma}$-set $N_f$ is continuous. Since $|F|<\add(\meager)$, there is a meager $F_{\sigma}$-set $M$ such that $\bigcup_{f\in F}N_f\subseteq M$. Let $M=\bigcup_{n\in\omega}M_n$ where each $M_n$ is closed and nowhere dense in $\real$. By Lemma~\ref{lem:0} there is a $g\in\baire_1$ such that $g|_X$ is discontinuous for any $X\subseteq\real$ such that $X\cap M_k$ is not $X$-open. Let $f\in F$ and $D\in\D$ be such that $f|_D$ is not continuous. Since $D\cap N_f\neq\emptyset$ and $N_f\subseteq M$, there is a $k\in\omega$ such that $D\cap M_k$ is not empty. Since $M_k$ is nowhere dense, $M_k\cap D$ is not $D$-open. So, $g|_D$ is not continuous. Thus, $\bigcup_{f\in F}\{D\in\D\colon f|_{D} \text{ is discontinuous}\}\subseteq\{D\in\D\colon g|_{D} \text{ is discontinuous}\}$. Since $F\subseteq\baire$ and $g\in\baire_1$, we have 

\begin{equation}\label{eq:boy1} 
\add(\meager)\leq\min\{\add(\baire_1,\D),\add(\baire,\D)\}. 
\end{equation} 

On the other hand, let $F=\{F_{\alpha}\}_{\alpha\in\kappa}$ be a collection of nowhere dense closed sets such that $\kappa=\add(\meager)$ and $\bigcup_{\alpha\in\kappa} F_{\alpha}$ is non-meager. Let $g_{\alpha}=\charf{F_{\alpha}}$ note that $g_{\alpha}\in B_1$ for every $\alpha\in\kappa$. Let $f\in\baire$. There is a dense $G_{\delta}$-set $G$ such that $f|_{G}$ is continuous. By our choice of $F$, there is is an $\alpha\in\kappa$ such that $F_{\alpha}\cap G\neq\emptyset$. Thus, $g_{\alpha}|_G$ is discontinuous. Since each $g_{\alpha}\in\baire_1$ and $f$ was arbitrary chosen from $\baire$, we have 
\begin{equation}\label{eq:boy2} 
\max\{\add(\baire_1,\G),\add(\baire,\G)\}\leq\add(\meager). 
\end{equation} 
Since $\G\subseteq\T\subseteq\D$, (\ref{eq:boy1}) and (\ref{eq:boy2}) imply (c). 

\medskip 

We now work for (d). Let $F=\{F_{\alpha}\}_{\alpha\in\kappa}$ be a collection of meager $F_{\sigma}$-sets such that $\kappa=\cof(\meager)$ and $F$ witnesses the definition of $\cof(\meager)$. For every $\alpha\in\kappa$ we may use Lemma~\ref{lem:0}, as before, to define a $g_{\alpha}\in\baire_1$ so that for any $D\in\D$ if $D\cap F_{\alpha}\neq\emptyset$, then $g_{\alpha}|_{D}$ is not continuous. Let $f\in\baire$. There is a dense $G_{\delta}$-set $G$ such that $f|_{G}$ is continuous. For any $D\in\D$ if $f|_D$ is discontinuous then $D\cap(\real\setminus G)\neq\emptyset$. By our choice of $F$, there is is an $\alpha\in\kappa$ such that $\real\setminus G\subseteq F_{\alpha}$. So, $D\cap F_{\alpha}\neq\emptyset$.  Thus, for any $D\in\D$ if $f|_D$ is discontinuous then $g_{\alpha}|_D$ is also discontinuous. Since $f\in\baire$ was arbitrary and $\{g_{\alpha}\colon\alpha\in\kappa\}\subseteq\baire_1$, we have 
\begin{equation}\label{eq:boy3} 
\max\{\cof(\baire_1,\D),\cof(\baire,\D)\}\leq\cof(\meager). 
\end{equation} 
Suppose we have a collection $F\subseteq\baire$ such that $|F|<\cof(\meager)$. For each $f\in F$ there is a $G_f\in\G$ such that $f|_{G_f}$ is continuous. Since $|\{\real\setminus G_f\colon f\in F\}|<\cof(\meager)$, there is a meager $F_{\sigma}$-set $M$ such that $M\cap G_f\neq\emptyset$ for all $f\in F$. Let $g\in\baire_1$ be such that for any $D\in\D$ if $D\cap M\neq\emptyset$ then $g|_{D}$ is not continuous. It follows that $g|_{G_f}$ is discontinuous for every $f\in F$. So, for any collection $F$ of less than $\cof(\meager)$-many functions in $\baire$ there is a $g\in\baire_1$ such that $\{G\in\G\colon g|_G\text{ is discontinuous}\}$ is not contained in $\{G\in\G\colon f|_G\text{ is discontinuous}\}$ for any $f\in F$. Thus, 
\begin{equation}
\label{eq:boy4} \min\{\cof(\baire_1,\G),\cof(\baire,\G)\}\geq\cof(\meager). 
\end{equation} Since $\G\subseteq\T\subseteq\D$, (\ref{eq:boy3}) and (\ref{eq:boy4}) imply (d). 

\medskip 

We now show (e). Clearly, $\add(\meager)\!=\!\add(\baire,\G)\leq\cov(\baire,\G)\leq\cov(\baire_1,\G)$. It is enough show that $\cov(\baire_1,\G)\leq\add(\meager)$. Let $\F$ be a collection of closed nowhere dense subsets of $\real$ such that $\bigcup\F\notin\meager$ and $|\F|=\add(\meager)$. For each $F\in F$ let $g_{F}=\charf{F}$. For any $D\in\D$ if $D\cap F\neq\emptyset$ then $g_{F}|_{D}$ is not continuous. For any $G\in\G$ there is an $F\in\F$ such that $F\cap G\neq\emptyset$. Thus, $\{g_{F}\colon F\in\F\}$ witnesses the definition of $\cov(\baire_1,\G)$. Thus, (e) holds. 

\medskip 

The proof of (f) is of the same form as the proof of (e). 

\medskip 

We now work for (b). We show that $\non(\meager)\leq\non(\baire_1,\D)$. Let $D\subseteq\D$ and $|D|<\non(\meager)$. We may assume each element of $D$ is countable, so $E=\bigcup D$ has cardinality less than $\non(\meager)$. So, there a meager $F_{\sigma}$-set $M\subseteq\real$ such that $E\subseteq M$. Let $M=\bigcup_{k\in\omega} N_k$ where each $N_k$ is closed and nowhere dense. By Lemma~\ref{lem:0} there is an $f\in\baire_1$ such that $f|_X$ is discontinuous for any $X\subseteq\real$ such that $X\cap N_k$ is not $X$-open. Let $d\in D$ be arbitrary. There is an $N_k$ such that $d\cap N_k$ is nonempty. Clearly, $d\cap N_k$ is not d-open. So, $f|_d$ is not continuous for all $d\in D$. Thus, $\non(\meager)\leq\non(\baire_1,\D)$. 

We now show that $\non(\baire,\D)\leq\non(\meager)$. Let $X\subseteq\real$ be such that $|X|=\non(\meager)$ and $X$ is non-meager. For each $x\in X$ define $D_x\in\D$ by $D_x=\{x+q\colon q\in\rational\}$. Clearly, $|\{D_x\colon x\in X\}|\leq\non(\meager)$. Let $f\in\baire$. There is a $G\in\G$ such that $f|_G$ is continuous. Notice that $H=\bigcap_{q\in\rational}q+G$ is in $\G$. Since $X$ is non-meager there is an $x\in X$ such that $x\in H$. By defintion of $H$ we have $D_x\subseteq H\subseteq G$. So, $f|_{D_x}$ is continuous. Thus, $\non(\baire,\D)\leq\non(\meager)$. 

The inequality $\non(\baire_1,\D)\leq\non(\baire,\D)$ is obvious. So we have (b).  

\medskip

To get the item (a) of Theorem~\ref{thm:1} we will have to consider the hyperspace $\comp(\real)$ of compact subsets of $\real$ with the Hausdorff metric which we will denote by $\dist$. Note that $\comp(\real)$ is an uncountable separable complete metric space. In particular, the meager covering numbers and non-meager numbers of $\real$ and $\comp(\real)$ are equal. 

\lem{lem:2}{If $G\subseteq\real$ is a dense $G_{\delta}$-set then the set $G_1=\{E\in\comp(\real)\colon E\subseteq G \text{ and }E\in\perf\}$ is a dense $G_{\delta}$-set of $\comp(\real)$.} 
\proof Let $G=\bigcap_{n\in\omega}U_n$ where each $U_n$ is open and dense in $\real$. By definition of the Vietoris topology, $V_n=\{x\in\comp(\real)\colon x\subseteq U_n\}$ is open in $\comp(\real)$. Using the fact that the finite subsets of $\real$ form a dense subset of $\comp(\real)$ it is easy to check that $V_n$ is dense in $\comp(\real)$ for every $n\in\omega$. Thus, $H=\{x\in\comp(\real)\colon x\subseteq G\}$ is a dense $G_{\delta}$-set of $\comp(\real)$. 

Since $G_1=\perf\cap H$ it is enough for us to check that $\perf$ is a dense $G_{\delta}$-set. For each $n\in\omega$ let \[F_n=\{x\in\comp(\real)\colon \text{ there exists $p\in x$ such that }\dis(p,x\setminus\{p\})>1/(n+1)\}.\] We leave it to the reader to check that each $F_n$ is closed and nowhere dense in $\comp(\real)$. Notice now that $\perf=\comp(\real)\setminus\bigcup_{n\in\omega}F_n$. \qed 

\lem{lem:3}{If $f\in\baire$ then there is a dense $G_{\delta}$-set $G$ in $\comp(\real)$ such that $f|_{\bigcup G}$ is continuous and each $E\in G$ is perfect.} 
\proof Since $f$ has the Baire Property there is a dense $G_{\delta}$-set $H\subseteq\real$ such that $f|_{H}$ is continuous. By Lemma~\ref{lem:2} the set $G=\{E\colon E\subseteq H \text{ and }E\in \perf\}$ is a dense $G_{\delta}$-set in $\comp(\real)$. Clearly, $f|_{\bigcup G}$ is continuous. \qed 

We now work for (a). We first show that 
\begin{equation}\label{eq:ym} 
\cov(\baire_1,\D)\leq\cov(\meager). 
\end{equation} 
Let $\{N_{\alpha}\}_{\alpha<\cov(\meager)}$ be a collection of closed nowhere dense subsets of $\real$ which cover $\real$. For each $\alpha<\cov(\meager)$ let $f_{\alpha}=\charf{N_{\alpha}}\in\baire_{1}$. We claim that $F=\{f_{\alpha}\colon\alpha\in\cov(\meager)\}$ witnesses the definition of $\cov(\baire_1,\D)$. Let $D\in\D$ be arbitrary. There is an $\alpha<\cov(\meager)$ such that $D\cap N_{\alpha}\neq\emptyset$. Since $D\cap N_{\alpha}$ is not open in $D$ it follows that $f_{\alpha}|_{D}$ is not continuous. Therefore, we have (\ref{eq:ym}). 

Let $F\subseteq\baire$ and $|F|<\cov(\meager)$. For each $f\in F$ let $G_f\subseteq\comp(\real)$ be as in Lemma~\ref{lem:3}. Since $|\{G_f\colon f\in F\}|<\cov(\meager)$, the set $G=\bigcap\{G_f\colon f\in F\}$ is non-empty and everywhere of second category. It follows that $H=\bigcup G\in{\cal T}$ and $f|_H$ is continuous for all $f\in F$. So, $\cov(\meager)\leq\cov(\baire,\T)$. Since $\T\subseteq\D$ and $\baire_1\subseteq\baire$, we have 
\begin{equation}\label{qe:1} \cov(\meager)\leq\cov(\baire,\T)\leq\cov(\baire_1,\T)\leq\cov(\baire_1,\D) \end{equation} 
and 
\begin{equation}\label{qe:2} \cov(\meager)\leq\cov(\baire,\T)\leq\cov(\baire,\D)\leq\cov(\baire_1,\D) \end{equation} 
(\ref{eq:ym}) together with (\ref{qe:1}) and (\ref{qe:2}) yield (a).\qed 

\section{Proof of Theorem~\ref{thm:30}} 

\lem{lem:hoot}{If $f\colon\real\to\real$ is a $\baire_1$ function, then there is a $f$-family ${\cal C}$ of size $\omega$.} 
\proof Let $\{B_n\}_{n\in\omega}$ be a base for $\real$. For $n\in\omega$ define $A_{n}=f^{-1}(B_{n})$. Since $B_{n}$ is open, $A_{n}$ is an $F_{\sigma}$-set. So, there exist closed sets $\{E_{n}^k\colon k\in\omega\}$ such that $A_{n}=\bigcup_{k\in\omega} E_{n}^{k}$ for each $n\in\omega$.  Let ${\cal C}=\{E_{n}^{k}\colon k,n\in\omega\}$. Clearly, ${\cal C}$ is a collection of closed sets of size $\omega$. 

We now show that ${\cal C}$ is an $f$-family. Fix $P\in\perf$ and $x\in P$. Suppose $f|_{P}$ is discontinuous at $x$. Pick a convergent sequence $x_l\to x$ contained in $P$ such that $\lim_{l\to\infty}f(x_l)\neq f(x)$. We may find, using a subsequence if necessary, a $B_{n}$ such that $f(x)\in B_{n}$ and $f(x_l)\notin B_{n}$ for all $l\in\omega$. Pick $k\in\omega$ so that $x\in E_{n}^k$. Since $x_l\notin E_{n}^k$ for all $l\in\omega$, it follows that $x\notin\interior_{P}(E_{n}^k)$. \qed 

\lem{lem:000}{If $X$ is a metric space and $f\colon X\to Y$ has an $f$-family of cardinality less than $\cov(\meager)$ then for any $P\in\perf(X)$ there is an $x\in P$ such that$f|_{P}$ is continuous at $x$.} 
\proof Let $\kappa<\cov(\meager)$ and $\{{\cal C}_{\alpha}\}_{\alpha\in\kappa}$ be an $f$-family. Let $P\in\perf(X)$. By way of contradiction, assume that $f|_{P}$ is nowhere continuous. Let $p\in P$. There is some $\alpha\in\kappa$ such that $p\in (P\cap C_{\alpha})\setminus\interior_P(C_{\alpha}\cap P)$. It follows that $P=\bigcup_{\alpha\in\kappa}((P\cap C_{\alpha})\setminus\interior_{P}(P\cap C_{\alpha}))$. However, each $(P\cap C_{\alpha})\setminus\interior_{P}(P\cap C_{\alpha})$ is nowhere dense in $P$ and $\kappa<\cov(\meager)$ a contradiction to the fact that $P$ is an uncountable complete metric space. Thus, $f|_P$ is continuous at some point.\qed 

{\sc Proof of Theorem~\ref{thm:30}} Lemma~\ref{lem:hoot} shows that (a) implies (b). That (b) implies (c) is just the Baire Category Theorem (i.e. $\cov(\meager)>\omega$). We show that (c) implies (a). If there is an $f$-family of size less than $\cov(\meager)$ then by Lemma~\ref{lem:000} $f|_P$ has a continuity point for each $P\in\perf$ which, by a well known theorem implies that $f\in\baire_1$.\qed 

\section{Proof of Theorem~\ref{thm:20} and related topics}\label{sec:20} 

{\sc Proof of Theorem~\ref{thm:20}} Suppose $Z\subseteq\{P\in\perf\colon f|_P\text{ is discontinuous}\}$ and that $f\in\baire_1$. By Lemma~\ref{lem:hoot} there is a countable $f$-family ${\cal C}$. By, definition of $f$-family, we have that \[Z\subseteq\{P\in\perf\colon f|_P\text{ is discontinuous}\}\subseteq\bigcup_{C\in {\cal C}}\nopen(C).\] Thus, $Z\in\zp$. 

Suppose now that $Z\in\zp$. Then, there exists a collection of closed sets $\{C_n\colon n\in\omega\}$ such that $Z\subseteq\bigcup_{n\in\omega}\nopen(C_n)$. By Lemma~\ref{lem:0}, there is an $f\in\baire_1$ such that for any set $X\subseteq\real$ if $X\cap C_n$ is not open in $X$ for some $n\in\omega$ then $f|_X$ is not continuous. We now have that 
\begin{equation} 
\bigcup_{n\in\omega}\nopen(C_n)\subseteq\{P\in\perf\colon f|_{P}\text{ is discontinuous}\}
\end{equation} which completes the proof of Theorem~\ref{thm:20}.\qed 

We will now take some time to investigate what the elements of $\zp$ look like. 

\prop{lem:and}{If $C\subseteq\real$ is closed, then $\nopen(C)$ is a nowhere dense $G_{\delta}$-subset of $\perf$.} 
\proof It is easy to check that $\nopen(C)$ is exactly the collection of perfect sets for which the $\baire_1$ function $f=\charf{C}$ is not continuous. Since $V=\interior(C)\cup (\real\setminus C)$ is dense and open in $\real$ and $f|_V$ is continuous, we have that $H=\{A\in\perf\colon A\subseteq V\}$ is dense and open in $\perf$ and that $H\cap\nopen(C)=\emptyset$. So, $\nopen(C)$ is nowhere dense in $\perf$. 

We now show that $\nopen(C)$ is a $G_{\delta}$-set of $\perf$. Again, we let $f=\charf{C}$. Pick a sequence of continuous functions $\langle f_n\rangle_{n\in\omega}$ so that $f_n\to f$ pointwise and, 
\begin{description} 
\item[(i)] $f_0(x)=1$ for all $x\in\real$, 
\item[(ii)] $f_{n+1}\leq\ f_n$ for every $n\in\omega$, 
\item[(iii)] for every $x\notin C$ there exists an $m_x\in\omega$ such that $1>f_{m_x}(x)>0$, and 
\item[(iv)] for every $x\notin C$ there is an open set $U$ and a $n_x\in\omega$ such that $x\in U$ and $f_{n_x}[U]=\{0\}$. 
\end{description} 
Let $E_n=\{P\in\perf\colon f_n[P]\subseteq\{0,1\}\}$ for every $n\in\omega$. Notice $E_n$ is closed in $\perf$, since by continuity $f_n^{-1}(\{0,1\})$ is closed in $\real$ and $P\in E_n$ if and only if $P\subseteq f_n^{-1}(\{0,1\})$. Let $E=\bigcup_{n\in\omega}\bigcap_{m\geq n}E_m$. Clearly, $E$ is an $F_{\sigma}$-set. We will be done if we show that $P\in E$ if and only if $P\notin\nopen(C)$. 

Suppose $P\in E$. There is an $n\in\omega$ such that $P\in\bigcap_{m\geq n}E_m$. Let $x\in P$. If $f(x)=1$, then by (ii) $f_n(x)=1$. If $f_n(x)=1$, then by (iii) and the fact that $P\in\bigcap_{m\geq n}E_m$ we have that $f(x)=1$. So, $f|_P=f_n|_P$. Since $f|_P$ is continuous, we must have that $P\notin\nopen(C)$. 

Suppose $P\notin E$. For infinitely many $n\in\omega$ there is an $x_n\in P$ such that $0<f_n(x_n)<1$. Taking a subsequence if necessary, we may assume there is an $x\in P$ such that $\lim_{n\in\omega}x_n=x$. By (ii) and (i) we know that $x_n\in P\setminus C$ for every $n\in\omega$. We claim that $x\in C$. Suppose $x\notin C$. Then, there is by (iv) and (ii) an open set $U$ such that $f_m[U]=\{0\}$ for all $m\geq n_x$ and $x\in U$. So there is a $p\in\omega$ such that $f_m(x_n)=0$ for all $m\geq n_x$ and $n\geq p$, which contradicts that $1>f_n(x_n)>0$ for every $n\in\omega$. So $x\in C$. Thus, $P\in\nopen(C)$. 

Therefore, $P\in E$ if and only if $P\notin\nopen(C)$.\qed 

It follows immediately from Proposition~\ref{lem:and} that $\zp$ is a $G_{\delta\sigma}$ supported $\sigma$-ideal.  We now show that $\zp$ is neither $F_{\sigma}$ supported nor $G_{\delta}$ supported.  I do not know if $\zp$ can be shown to be $F_{\sigma\delta}$ supported.

\prop{prop:tut}{If $C$ is nowhere dense and perfect, then there is no $F_{\sigma}$-set in $\zp$ which contains $\nopen(C)$. In other words, the ideal $\zp$ is not $F_{\sigma}$ supported.} 
\proof By way of contradiction, assume there is an $F_{\sigma}$-set $F\in\zp$ such that $\nopen(C)\subseteq F$. Let $L=\{P\in\perf\colon P\cap C\neq\emptyset\}$ and notice $L$ is closed in $\perf$. Since $C$ is nowhere dense, it is easy check that $\nopen(C)$ is dense in $L$. By Proposition~\ref{lem:and}, we have that $\nopen(C)$ is actually a dense $G_{\delta}$-set in $L$. Since $\nopen(C)\subseteq L\cap F$ and $F$ is an $F_{\sigma}$-set, there is an $L$-open set $U$ such that $U\subseteq F$. By Theorem~\ref{thm:20}, there is a $g\in\baire_1$ such that $U\subseteq\{P\in\perf\colon g|_{P}\text { is discontinuous}\}$. 

We claim that $D=\{P\in L\colon P\cap C\in\perf\ \&\ P\setminus C\in\perf\}$ is dense in $L$. Let $Q\in L$ and $\epsilon>0$. Since $C$ is perfect and $Q\cap C\neq\emptyset$, there is a perfect set $J_0$ such that $Q\cap C\subseteq J_0\subseteq C$ and $\dist(Q\cap C,J_0)<\epsilon$. Since $Q\setminus J_0$ is bounded, there is a finite set $x_1\ldots x_n\in Q\setminus J_0$ such that $Q\subseteq\bigcup_{k\leq n}\ball_{\epsilon}(x_k)$. For each $1\leq k\leq n$ pick a perfect set $J_k\subseteq\ball_{\epsilon}(x_k)\setminus C$ such that $x_k\in J_k$. It is now straight forward to check that $J=\bigcup_{0\leq k\leq n}J_k$ is in $D$ and that $\dist(J,Q)<\epsilon$. Since $\epsilon$ was arbtrary, we have established the claim. 

Pick $A\in D\cap U$. Since $g\in\baire_1$, there is a $G_{\delta}$-set $H\subseteq A\cap C$ such that $H$ is dense in $A\cap C$ and $g|_{H}$ is continuous. Since $g\in\baire_1$, there is a $G_{\delta}$-set $I\subseteq A\setminus C$ such that $I$ is dense in $A\setminus C$ and $g|_{I}$ is continuous. We can now pick perfect sets $P\subseteq I$ and $Q\subseteq H$ such that $H_{d}(P\cup Q,A)$ is as small as we want. Thus, we may assume $P\cup Q\in U$. However, it is clear that $g|_{P\cup Q}$ is continuous which contradicts our choice of $g$.\qed 

We show that $\zp$ is not $G_{\delta}$ supported. To see it let $Z=\bigcup_{n\in\omega}\nopen(\{q_n\})$, 
%JBchange explain q_n  
where $\{q_1,q_2,\ldots \}$ is an enumeration of the rationals. It 
is easy to show that $Z$ is dense in $\perf$. Hence any $G_{\delta}$-set $H$ 
containing $Z$ would be a dense $G_{\delta}$ in $\perf$. However, by 
Proposition~\ref{lem:and} such an $H$ could not be in $\zp$. 
$\ $\newline

While we are considering $\zp$ to be an ideal of small sets the next theorem says that these sets can be to some extent large. 
\thm{thm:70}{Let $C\subseteq\perf$ be compact. There is a $G_{\delta}$-set $G\subseteq C$ such that $G$ is
%JBchange change dense in C to dense in P 
dense in 
$C$ and $G\in\zp$.} 

Before proving Theorem~\ref{thm:70} we will need some definitions and a lemma.  In what follows given an $x\in\real$ and $A\subseteq\real$ we 
will write $\dis(x,A)$ to stand for $\inf\{|x-a|\colon a\in A\}$ and we write 
$\diam(A)$ to stand for $\sup\{|a-b|\colon a,b\in A\}$. 
\lem{lem:70}{Let $C\subseteq\perf$ be compact. For every $\epsilon>0$ there is a $\delta>0$ such that 
\begin{equation}\label{eq:forc} 
\diam(P\cap\ball_{\epsilon}(x))>\delta 
\end{equation} for any $P\in C$ and $x\in P$.} 
\proof Suppose the lemma is false. There is an $\epsilon>0$ such that for every $n\in\omega$ there exists $P_n\in C$ and $x_n\in P_n$ such that $\diam(P_n\cap\ball_{\epsilon}(x_n))<1/n$. Since $C$ is compact, there is, taking a subsequence if necessary, a $P\in C$ such that $\lim_{n\to\infty}P_n=P$. Taking a subsequence if necessary we may also find an $x\in P$ such that $\lim_{n\to\infty}x_n=x$. We will derive a contradiction by showing that $x$ is isolated in $P$. Let $\ball=\ball_{\epsilon}(x)$ and $D=\diam(P\cap\ball)$, it is enough to show that $D=0$. Suppose $D>0$ then there is a $w\in (P\cap B)\setminus\{x\}$. Pick $n\in\omega$ so large that 
\begin{description} 
\item[(a)] $\dist(B_{\epsilon}(x_n),B)<\dis(w,\real\setminus B)/3$, 
\item[(b)] $|x-x_n|<|x-w|/3$, 
\item[(c)] $\dist(P_n,P)<\min\{|x-w|/3,\dis(w,\real\setminus B)/3\}$, and \item[(d)] $\diam(P_n\cap\ball_{\epsilon}(x_n))<|x-w|/3$. 
\end{description} 
By (c), there is a point $z\in P_n$ so that 
\begin{equation}\label{eq:ann} 
|z-w|<\min\{|x-w|/3,\dis(w,\real\setminus B)/3\}. 
\end{equation} 
So, $\dis(z,\real\setminus B)>2\dis(w,\real\setminus B)/3$. So by (a), we have that $z\in B_{\epsilon}(x_n)$. Since $z\in P_n\cap\ball_{\epsilon}(x_n)$ we have, by (d) that 
\begin{equation}\label{eq:pls} 
|z-x_n|<|x-w|/3. 
\end{equation} 
Using (\ref{eq:ann}) and (\ref{eq:pls}) with (b) we get that \[|x-w|<|x-x_n|+|x_n-z|+|z-w|<|x-w|\] a contradiction. Thus, $D=0$. \qed 

\noindent{\sc Proof of Theorem~\ref{thm:70}} 
Let $\{P_n\colon n\in\omega\}$ be a dense subset of $C$. We construct a closed set $Q$ such that $P_n\in\nopen(Q)$ for every $n$. Since $C$ is a compact subset of $\perf$, there is an $D>0$ such that $\diam(P)>D$ for every $P\in C$. Inductively we will define sequences $\{x_n\in\real\colon n\in\omega\}$ and $\{\delta_{n}>0\colon n\in\omega\}$ such that for every $n\in\omega$ we have 
\begin{description} 
\item[($a_n$)] $x_n\in P_n$, 
\item[($b_n$)] $\ball_{\delta_k}(x_k)\cap\ball_{\delta_l}(x_l)=\emptyset$ if $0\leq k<l\leq n$, 
\item[($c_n$)] for every $P\in C$ we have $P\setminus\cl(\bigcup_{k\leq n}\ball_{\delta_k}(x_k))\neq\emptyset$ 
\end{description} 
If we choose $x_0\in P_0$ and $\delta_0<D/2$, then ($a_0$), ($b_0$), and ($c_0$) are satisfied. Suppose we have constructed $\{x_k\colon k\leq n\}$ and $\{\delta_k\colon k\leq n\}$ so that ($a_n$), ($b_n$), and ($c_n$) are satisfied. We show how to pick $x_{n+1}$ and $\delta_{n+1}$. By ($c_n$), we can pick $x_{n+1}\in P_{n+1}\setminus\cl(\bigcup_{k\leq n}\ball_{\delta_k}(x_k))$. Let $\epsilon=\dis(x_{n+1},\cl(\bigcup_{k\leq n}\ball_{\delta_k}(x_k))$ and notice that $\epsilon>0$. By Lemma~\ref{lem:70}, there is a $\delta>0$ such that \begin{equation}\label{eq:roc} 
\diam(P\cap\ball_{\epsilon/3}(x))>\delta 
\end{equation} 
for every $P\in C$ and $x\in P$. We let $\delta_{n+1}<\min\{\epsilon/3,\delta\}$. We now show that ($a_{n+1}$), ($b_{n+1}$), and ($c_{n+1}$) are satisfied. It is easy to see that ($a_{n+1}$) is satisfied. To see that ($b_{n+1}$) is satisfied it enough to notice that $\delta_{n+1}<\epsilon/3$ by (\ref{eq:roc}). We check ($c_{n+1}$). By way of contradiction, suppose $P\subseteq\cl(\bigcup_{k\leq n+1}\ball_{\delta_k}(x_k))$ for some $P\in C$. By ($c_n$), $P\cap B_{\epsilon}(x_{n+1})\neq\emptyset$. Also, $P\cap B_{\epsilon}(x_{n+1})\subseteq\cl(B_{\delta_{n+1}}(x_{n+1}))$. Pick $w\in P\cap \cl(B_{\delta_{n+1}}(x_{n+1}))$. Since $|w-x_{n+1}|<\delta_{n+1}<\epsilon/3$, we have that $\cl(B_{\epsilon/3}(w))\subseteq\ball_{\epsilon}(x_{n+1})$. So we now have that $P\cap B_{\epsilon/3}(w)\subseteq P\cap\ball_{\epsilon}(x_{n+1})\subseteq\cl(B_{\delta_{n+1}}(x_{n+1}))$. Hence, $\diam(P\cap B_{\epsilon/3}(w))\leq\delta_{n+1}<\delta$. On the other hand, by (\ref{eq:roc}), we have that $\diam(P\cap B_{\epsilon/3}(w))>\delta$ a contradiction. So we have ($c_{n+1}$). 

Let $Q=\cl\{x_n\colon n\in\omega\}$. Let $n\in\omega$. Clearly, $x_n\in P_n\cap Q$. Moreover, by the (b) conditions of the inductive construction we have that $x_n$ isolated in $P_n\cap Q$. 
Since $P_n$ has no isolated points, $P_n\cap Q$ is not open in $P_n$. Thus, $P_n\in\nopen(Q)$ for all $n\in\omega$. 

Since $\{P_n\colon n\in\omega\}\subseteq\nopen(Q)$, we have that $C\cap\nopen(Q)$ is dense in $C$. By Proposition~\ref{lem:and}, $\nopen(Q)\cap C$ is a $G_{\delta}$-set in $C$. Finally, by definition $\nopen(Q)\in\zp$.\qed 

\section{Proof of Theorem~\ref{thm:21}} 
{\sc Proof of Theorem~\ref{thm:21}} 

We show (a). 

We show $\cov(\baire_1,\perf)\leq\cov(\zp)$. Suppose $\F\subseteq\zp$, $|\F|=\cov(\zp)$, and $\bigcup\F=\perf$. For each $F\in\F$ there is, by Theorem~\ref{thm:20}, a $g_F\in\baire_1$ such that $F\subseteq\{P\in\perf\colon g_F|_{P}\text{ is discontinuous}\}$. Thus, $\perf\subseteq\bigcup_{F\in\F}\{P\in\perf\colon g_F|_{P}\text{ is discontinuous}\}$. So, $\cov(\baire_1,\perf)\leq\cov(\zp)$. 

We show $\cov(\baire_1,\perf)\geq\cov(\zp)$. Let $F\subseteq\baire_1$ be such that $|F|\!=\!\cov(\baire_1,\perf)$ and for every $P\in\perf$ there exists an $f\in F$ such that $f|_{P}$ is not continuous. Then, $\perf=\bigcup_{f\in F}\{P\in\perf\colon f|_{P}\text{ is discontinuous}\}$. However, by Theorem~\ref{thm:20}, $\{P\in\perf\colon f|_{P}\text{ is discontinuous}\}\in\zp$ for each $f\in F$. Thus, $\cov(\baire_1,\perf)\geq\cov(\zp)$. 

\medskip 

We show (b). 

We show $\non(\baire_1,\perf)\leq\non(\zp)$. Suppose $F\subseteq\perf$, $|F|=\non(\zp)$, and $F$ is not contained in $\bigcup_{n\in\omega}\nopen(C_n)$ for any countable collection $\{C_n\colon n\in\omega\}$ of closed sets. Let $f\in\baire_1$ be arbitrary. By Theorem~\ref{thm:20}, we have that $\{P\in\perf\colon f|_P\text{ is discontinuous}\}\in\zp$. By our choice of $F$ there is a perfect set $M\in F$ such that $M\notin\{P\in\perf\colon f|_P\text{ is discontinuous}\}$ which implies that $f|_M$ is continuous. Thus, $\non(\baire_1,\perf)\leq\non(\zp)$. 

We show $\non(\baire_1,\perf)\geq\non(\zp)$. Suppose $F\subseteq\perf$ and $|F|<\non(\zp)$. Since $F\in\zp$, by Theorem~\ref{thm:20} there is an $f\in\baire_1$ such that $F\subseteq\{P\in\perf\colon f|_{P}\text{ is discontinuous}\}$. Thus, $\non(\baire_1,\perf)\geq\non(\zp)$. 

\medskip 

We show (c). 

We show $\add(\baire_1,\perf)\leq\omega_1$. Let $A\subseteq\real$ and $|A|=\omega_1$. Let $F=\{\charf{\{a\}}\colon a\in A\}$ and note that $|F|=\omega_1$ and $F\subseteq\baire_1$. Clearly, \[\bigcup_{f\in F}\{P\in\perf\colon\text{ $f|_P$ is not continuous}\}=\{P\in\perf\colon P\cap A\neq\emptyset\}.\] Let $M=\{P\in\perf\colon P\cap A\neq\emptyset\}$. Let $g\in\baire_1$ be arbitrary. Since $|g|_A|=\omega_1$, there is a $B\subseteq A$ such that $|B|=\omega_1$ and for every $b\in B$ and $\epsilon>0$ we have \begin{equation}\label{eq:hot} 
|\ball_{\epsilon}(\langle b,g(b)\rangle)\cap g|_A|=\omega_1. 
\end{equation} 
Pick distinct $\{b_{\alpha}\colon\alpha\in\omega+1\}\subseteq B$ so that $\lim_{n\to\infty}\langle b_n,g(b_n)\rangle=\langle b_{\omega},g(b_{\omega})\rangle$. We may assume that $\langle b_n\rangle_{n\in\omega}$ is a strictly decreasing sequence. By the fact that $g\in\baire_1$ and (\ref{eq:hot}), we can pick perfect sets $P_n$ such that $b_{n+1}\leq\inf(P_n)<\sup(P_n)<b_{n-1}$ and $g|_{P_n}$ is continuous and $\osc(g|_{P_n\cup\{b_n\}})<1/n$. Now $P=\{b_{\omega}\}\cup\bigcup_{n\in\omega}P_n$ is a perfect set such that $g|_P$ is continuous and $P\cap A\neq\emptyset$. Thus, $M$ is not contained in $\{P\in\perf\colon g|_{P}\text{ is not continuous}\}$. Thus, $\add(\baire_1,\perf)\leq\omega_1$. 

We show that $\add(\zp)\leq\add(\baire_1,\perf)$. Suppose $F\subseteq\baire_1$ and $|F|<\add(\zp)$. By Theorem~\ref{thm:20}, $\{P\in\perf\colon f|_P\text{ is discontinuous}\}\in\zp$ for each $f\in F$. Since $|F|<\add(\zp)$,  
\[\bigcup_{f\in F}\{P\in\perf\colon f|_P\text{ is discontinuous}\}\in\zp.\] 
By Theorem~\ref{thm:20}, there is a $g\in\baire_1$ such that \[\bigcup_{f\in F}\{P\in\perf\colon f|_P\text{ is discontinuous}\}\subseteq\{P\in\perf\colon g|_P\text{ is discontinuous}\}.\] Thus, $\add(\zp)\leq\add(\baire_1,\perf)$. 

Since $\zp$ is a $\sigma$-ideal, we have $\add(\zp)\geq\omega_1$ which completes the proof of (c). 

\medskip 

We show (d). We show $\cof(\baire_1,\perf)\leq\cof(\zp)$. Suppose $F\subseteq\zp$ and
$|F|<\cof(\baire_1,\perf)$.  By Theorem~\ref{thm:20}, for every $Z\in F$ there is a $f_Z\in\baire_1$ such that $Z\subseteq\{P\in\perf\colon f_Z|_{P}\text{ is
discontinuous}\}$.  Since $|F|<\cof(\baire_1,\zp)$, there is 
a $g\in\baire_1$ such that 
\begin{equation}\label{eq:out}
\{P\in\perf\colon g|_{P}\text{ is discontinuous}\}\setminus\{P\in\perf\colon f_Z|_{P}\text{ is discontinuous}\}\neq\emptyset.
\end{equation} 
for every $Z\in F$.  By Theorem~\ref{thm:20},
$\{P\in\perf\colon g|_{P}\text{ is discontinuous}\}\in\zp$.  So, by (\ref{eq:out}),
we have  \[\{P\in\perf\colon g|_{P}\text{ is discontinuous}\}\setminus Z\neq\emptyset\] for every $Z\in F$.  Thus, $\cof(\baire_1,\perf)\leq\cof(\zp)$ 

We show that $\cof(\baire_1,\perf)\geq\cuum$. Suppose $F\subseteq\baire_1$ and $|F|<\cuum$. For each $f\in F$ let $A_f=\{x\in\real\colon\text{ there is an $\epsilon>0$ such that }|\ball_{\epsilon}(\langle x,f(x)\rangle)\cap f|\leq\omega\}$. Notice that $A_f$ is countable for every $f\in F$. Pick $x\in\real\setminus\bigcup_{f\in F}A_f$. Let $g=\charf{\{x\}}$. Let $f\in F$ be arbitrary. Since $f\in\baire_1$ and $x\notin A_f$, we can find as, in the proof of (c) above, a perfect set $P$ such that $x\in P$ and $f|_P$ is continuous. Clearly, $g|_P$ is not continuous. Thus, \[\{P\in\perf\colon g|_{P}\text{ is discontinuous}\}\setminus\{P\in\perf\colon f|_{P}\text{ is discontinuous}\}\neq\emptyset\] for every $f\in F$. Therefore, $\cof(\baire_1,\perf)\geq\cuum$. 

By Theorem~\ref{thm:20}, $M=\{\{P\in\perf\colon f|_P\text{ is discontinuous}\}\colon f\in\baire_1\}$ is a cofinal family in $\zp$. Since $|M|=\cuum$, we have $\cof(\zp)\leq\cuum$.\qed 

\section{Proofs of Theorem~\ref{thm:3} and Theorem~\ref{thm:3a}} 
{\sc Proof of Theorem~\ref{thm:3}} We first show that $\add(\real^{\real},\D)\geq\omega_1$. Let $F=\{f_n\}_{n\in\omega}$ be a subset of $\real^{\real}$. Define $h\colon\real\to\real^{\omega}$ by the formula $h(x)=(f_n(x))_{n\in\omega}$. Let $j\colon\real\setminus\rational\to\real^{\omega}$ be a continuous onto function. Let $S\subseteq\real$ be such that $j|_{S}\colon S\to h[\real]$ is a bijection. Define $g\in\real^{\real}$ by $g(x)=j|_{S}^{-1}(h(x))$. By Blumberg's Theorem there is a $D\in\D$ such that $g|_D$ is continuous.  We claim that $f_n|_D$ is continuous for every $n\in\omega$.  By way of contradiction, assume that there is an $n\in\omega$ such that $f_n|_{D}$ is not continuous. It follows that $h|_{D}$ is also not continuous. So, there is a convergent sequence $x_n\to x$ such that $\{x_n\colon n\in\omega\}\cup\{x\}\subseteq D$ and $\lim_{n\to\infty}h(x_n)\neq h(x)$. Since $j|_{S}$ is continuous, we have $\lim_{n\to\infty}j_{S}^{-1}(h(x_n))\neq j_{S}^{-1}(h(x))$. Thus, $g|_D$ is not continuous contradicting our choice of $D$. So, we have the claim.  Thus, $\add(\real^{\real},\D)\geq\omega_1$ 

We show that $\add(\real^{\real},\D)\leq\omega_1$. Let $\{P_{\alpha}\}_{\alpha\in\omega_1}$ be a partition of $\real$ into disjoint everywhere of second category subsets. For each $\alpha\in\omega_1$ let $f_{\alpha}=\charf{P_{\alpha}}$. Notice that if $D\in\D$, and $f_{\alpha}|_{D}$ is continuous, then $D\cap P_{\alpha}$ is open in $D$. Let $g\in\real^{\real}$ be arbitrary. Since each $P_{\alpha}$ is everywhere of second category, there is for each $\alpha\in\omega_1$ a $D_{\alpha}\in\D$ such that $D_{\alpha}\subseteq P_{\alpha}$ and $g|_{D_{\alpha}}$ is continuous (to see that such a $D_{\alpha}$ may be found for an everywhere second category set see \cite{bald}). For each $\alpha\in\omega_1$ pick $\langle x_{\alpha},g(x_{\alpha})\rangle\in g|_{D_{\alpha}}$. Since $\omega_1$ is uncountable, there exist distinct $\{\alpha_{\xi}\colon\xi\in\omega+1\}$ such that \[\lim_{n\to\infty}\langle x_{\alpha_n},g(x_{\alpha_n})\rangle=\langle x_{\alpha_{\omega}},g(x_{\alpha_{\omega}})\rangle.\] Without loss of generality we may assume that $\{x_{\alpha_{n}}\}_{n\in\omega}$ is an increasing sequence. For each $n\in\omega$ pick $\delta_{n}>0$ such that $\osc(g|_{D_{\alpha_n}\cap\ball_{\delta_n}(x_{\alpha_{n}})})<1/n$ and $\ball_{\delta_n}(x_{\alpha_{n}})\cap\ball_{\delta_k}(x_{\alpha_{k}})=\emptyset$ for any distinct $n,k\in\omega$. Let \[E=\left[\bigcup_{n\in\omega}(D_{\alpha_n}\cap\ball_{\delta_n}(x_{\alpha_{n}}))\right]\cup\left[D_{\alpha_{\omega}} \setminus\bigcup_{n\in\omega}\cl(\ball_{\delta_n}(x_{\alpha_{n}})\right].\] Notice that $g|_{E}$ is continuous and $E\cap P_{\alpha_{\omega}}$ is not open in $P_{\alpha_{\omega}}$. Thus, there is no $g\in\real^{\real}$ such that, $\bigcup_{\alpha\in\omega_1}\{D\in\D\colon f_{\alpha}|_D \text{ is discontinuous}\}$ is contained in $\{D\in\D\colon g|_D \text{ is discontinuous}\}$. Therefore, $\add(\real^{\real},\D)\leq\omega_1$.\qed 

To prove Theorem~\ref{thm:3a} we will need the following proposition. \prop{prop:last}{{\rm (Thm.1.2 \cite{KU})} There is a collection of sets $\{A_{\alpha}\subseteq\omega_1\colon\alpha\in\omega_2\}$ such that $|A_{\alpha}|=\omega_1$ for every $\alpha\in\omega_2$ and $|A_{\alpha}\cap A_{\beta}|=\omega_1$ if and only if $\alpha=\beta$.} {\sc Proof of Theorem~\ref{thm:3a}} Let $\{A_{\alpha}\subseteq\omega_1\colon\alpha\in\omega_2\}$ be as in Proposition~\ref{prop:last}. Let $\{r_{\alpha}\colon\alpha\in\omega_2\}$ be an enumeration of $\real$. For each $\beta\in\omega_1$ define $f_{\beta}\colon\real\to 2$ 
\begin{equation*}f_{\beta}(r_{\alpha})= 
\begin{cases} 0& \text{if $\beta\notin A_{\alpha}$;}\\ 1& \text{if $\beta\in A_{\alpha}$.} 
\end{cases} 
\end{equation*} By way of contradiction, assume there is a $D\in\D$ such that $f_{\beta}|_{D}$ is continuous for every $\beta\in\omega_1$. Pick $x\in D$ and a strictly increasing sequence $\langle x_{n}\rangle_{n\in\omega}$ of points in $D$ which converge to $x$. By continuity we have that for every $\beta\in\omega_1$ there is an $n_{\beta}\in\omega$ such that $f_{\beta}(x_n)=f_{\beta}(x)$ for all $n\geq n_{\beta}$. There is an $\alpha\in\omega_2$ such that $x=r_{\alpha}$. Since $|A_{\alpha}|=\omega_1$, there are $\omega_1$-many $\beta\in\omega_1$ where $f_{\beta}(x)=1$. So there are $\omega_1$-many $\beta\in\omega_1$ with the property that $f_{\beta}(x_{n_{\beta}})=f_{\beta}(x)=1$. Since $\omega<\omega_1$, there is an $N\in\omega$ and a $B\in[\omega_1]^{\omega_1}$ such that $n_{\beta}=N$ for every $\beta\in B$. Let $x_N=r_{\zeta}$. Now $\zeta\neq\alpha$ but $B\subseteq A_{\zeta}\cap A_{\alpha}$, a contradiction. \qed 

\begin{thebibliography}{22} 
\bibitem{bald} S. Baldwin, Martin's Axiom implies a stronger version of Blumberg's Theorem, {\it Real Anal. Exchange}{\bf 16}(1990--1991), 67--73. \bibitem{BAJU} T.~Bartoszy\'{n}ski and H~Judah, {\it Set theory on the structure of the real line}, A~K~Peters, 1995. 
\bibitem{BRPO} J.B~Brown and Z.~Piotrowski, Co-Blumberg spaces, {\it Proc. Amer. Math. Soc.}{\bf 96}({\bf 4})(1986), 683--688. 
\bibitem{Ci:book} K.~Ciesielski, {\it Set Theory for the Working Mathematician}, London Math. Soc. Student Texts {\bf 39}, Cambridge Univ. Press 1997. \bibitem{Blum} H.~Blumberg, New properties of all real functions, {\it Transactions A.M.S.} {\bf 24}(1922), 113--128. 
\bibitem{KU} K.~Kunen, {\it Set Theory an introduction to independce proofs}, Studies in Logic and the foundations of Mathematics {\bf 102} North Holland Publishing Company Amsterdam, New York, Oxford(1980). 
\end{thebibliography} \end{document} 
