Abstract
In this short note, we will study the existence of a vector space of continuous functions \(f:{\mathbb {Z}}_p\rightarrow \mathbb Q_p\), where \({\mathbb {Z}}_p\) and \({\mathbb {Q}}_p\) are, respectively, the ring of p-adic integers and the field of p-adic numbers, such that each nonzero function does not satisfy the Luzin (N) property and the dimension of the vector space is the continuum.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Preliminaries
The search for vector spaces as well as other algebraic structures contained in sets that may not form a vector space is known as lineability. The term lineability was coined by V.I. Gurariy [4] and is introduced in the Ph.D. Dissertation of the fourth author [21]. The study of lineability has extended to many fields of mathematics such as Real Analysis [1, 7, 9], Measure Theory [5], Complex Analysis [6], Abstract Analysis [12], Functional Analysis [11] and Set Theory [14]. (For a deeper understanding, we refer the interested reader to [3].) It is important to mention that, although lineability was first stablished by Gurariy and added in 2020 to the AMS subject classification under 15A03 and 46B87, lineability results can be traced back to a paper of 1941 by Levin and Milman [19]. Let us introduce below the basic notion of lineability. Let \(\kappa \) be a cardinal number, V a vector space and \(A\subset V\).
-
We say that A is \(\kappa \)-lineable if there is a vector space \(L\subset V\) such that L has dimension \(\kappa \) and \(L\setminus \{0\}\subset A\).
The main point in the theory of lineability is the search for large algebraic structures composed of mathematical objects enjoying certain special (usually, pathological) properties. In this paper, we focus on the classic Luzin null-property (or, for short, (N)-property) introduced by Nikolai Luzin at the beginning of the twentieth century. This property plays an essential role in the theory of absolute continuity of real functions. Let us recall the definition.
Let \((X,{\mathcal {A}},\mu )\) be a measure space. We say that \(N\in {\mathcal {A}}\) is a \(\mu \)-null set provided that \(\mu (N)=0\).
Definition 1.1
(Luzin (N) property,[20]). Let \((X,{\mathcal {A}},\mu )\) and \((Y,{\mathcal {B}},\nu )\) be measure spaces. We say that a function \(f:X\rightarrow Y\) satisfies the Luzin (N) property with respect to the pair \((\mu ,\nu )\) if \(f(N)\in \mathcal B\) is a \(\nu \)-null set for every \(\mu \)-null set \(N\in {\mathcal {A}}\).
Recall that differentiable functions \(f:{\mathbb {R}}\rightarrow \mathbb R\) satisfy the Luzin (N) property for \((\lambda ,\lambda )\), where \(\lambda \) denotes the Lebesgue measure (see, e.g., [24, Theorem 21.9]). In fact, Luzin proved that:
Theorem 1.2
(Luzin’s Theorem). If \(f:{\mathbb {R}}\rightarrow {\mathbb {R}}\) is differentiable, then
is a \(\lambda \)-null set.
Luzin’s Theorem has an extension to differentiable functions \({\mathbb {R}}^n \rightarrow {\mathbb {R}}^n\), known as Sard’s Theorem (see [23]). Interestingly, Luzin’s Theorem is not exclusive to the real line as it can be seen in [22, theorem 73.2 (i)]: if \(f:\mathbb {Z}_p\rightarrow \mathbb {Q}_p\) is differentiable, then \(f[\{x\in {\mathbb {R}} :f^\prime (x)=0 \}] \) is a \(\mu \)-null set, where \(\mu \) is the Haar measure over \(\mathbb {Z}_p\); where \({\mathbb {Z}}_p\) and \({\mathbb {Q}}_p\) are, respectively, the field of p-adic integers and p-adic numbers (in what follows we shall provide the definitions of these concepts).
Our aim in this article is to show that the set of continuous functions from \(\mathbb {Z}_p\) into \({\mathbb {Q}}_p\) that do not satisfy the Luzin (N) property is \({\mathfrak {c}}\)-lineable in the presence of a suitable measure. Thereby, we continue the study of continuous functions without the Luzin (N) property, no longer those defined on the real line, but on the non-Archimedean field of p-adic numbers, using the lineability approach. This line of research has been, recently, considered in [11, 16,17,18].
Let us now, briefly, present the necessary background of p-adic analysis and the set theoretical notions that are required for the main result. (For more information on p-adic analysis, see [22]; and for the study of lineability on p-adic analysis see, for instance, [2, 10, 16,17,18]).
We shall denote the set of rational numbers, the set of natural numbers including zero, the infinitely countable cardinal number and the cardinality of the continuum by \({\mathbb {Q}}\), \({\mathbb {N}}_0\), \(\aleph _0\) and \({\mathfrak {c}}\), respectively. The main result of the paper uses the existence of a family of almost disjoint subsets of \({\mathbb {N}}_0\) of cardinality \({\mathfrak {c}}\). We say that a family \({\mathcal {N}}\) of subsets of an infinitely countable set N is almost disjoint if \(\text {card}(A\cap B)<\aleph _0\) for any distinct \(A,B\in {\mathcal {N}}\). It is well known that, given N an infinitely countable set, there exists a family \({\mathcal {N}}\) of almost disjoint subsets of N that has cardinality \({\mathfrak {c}}\) and each \(A\in {\mathcal {N}}\) has cardinality \(\aleph _0\).Footnote 1
A non-Archimedean field \({\mathbb {K}}\) is a field endowed with a function \(|\cdot | :{\mathbb {K}}\rightarrow [0,+\infty )\) (known as absolute value) that satisfies the following properties:
-
(i)
\(|x|=0\) if, and only if, \(x=0\);
-
(ii)
\(|xy|=|x||y|\) for every \(x,y\in {\mathbb {K}}\); and
-
(iii)
\(|x+y|\le \max \{|x|,|y| \}\) for every \(x,y\in {\mathbb {K}}\).
Condition (iii) is known as the strong triangular inequality. Observe that \(|-1|=|1|=1\), \(\underbrace{|1+\cdots +1|}_{n \text { times}}\le 1\), and if \(|x|\ne |y|\), then \(|x+y|=\max \{|x|,|y| \}\). Moreover, the absolute value induces a topology on the field \({\mathbb {K}}\) and, if \({\mathbb {K}}\) is finite, the topology is in fact the discrete topology since the trivial absolute value: \(|x|=0\) if \(x=0\), and \(|x|=1\) otherwise; is the only absolute value that can be defined on a finite field.
For the rest of this work, p will denote a fixed prime number. Let n be a nonzero integer and \(\text {ord}_p(n)\) be the highest power of p that divides n. We define the p-adic absolute value \(|\cdot |_p\) over \({\mathbb {Q}}\) as: \(|n|_p=p^{-\text {ord}_p(n)}\), \(|0|_p=0\) and \(\left| \frac{n}{m}\right| _p=p^{-\text {ord}_p(n)+\text {ord}_p(m)}\). Observe that \(|\cdot |_p\) is a norm on the field \({\mathbb {Q}}\) and, therefore, we can define the field \({\mathbb {Q}}_p\) which is the completion of \({\mathbb {Q}}\) with respect to the p-adic absolute value. Ostrowski’s Theorem states that every non-trivial absolute value on \({\mathbb {Q}}\) is equivalent (i.e., defines the same topology) to a p-adic absolute value or the usual absolute value (see [15]). Each \(x\in {\mathbb {Q}}_p\setminus \{0\}\) can be represented uniquely in the form \(x=\sum _{i=k}^\infty a_i p^i\), where \(k\in {\mathbb {Z}}\) is such that \(|x|_p=p^{-k}\), \(a_i\in \{0,1,\ldots ,p-1 \}\) for all \(i\ge k\) and \(a_k\ne 0\).
For each \(a\in {\mathbb {Q}}_p\) and \(r>0\), the sets \({\textsf{B}}(a,r):=\{x\in {\mathbb {Q}}_p :|x-a|_p<r \}\) and \(\overline{{\textsf{B}}}(a,r):=\{x\in {\mathbb {Q}}_p :|x-a|_p\le r \}\) denote, respectively, the open and closed balls of center a and radius r. Finally, we define the ring of p-adic integers as the closed unit ball of \({\mathbb {Q}}_p\):
2 Main Result
Our main result is Theorem 2.5. Before stating and proving it, let us recall the following definition and theorem from Probability Theory, and the definition of a Haar measure and Haar’s Theorem (see [13, theorem 2.10]).
Definition 2.1
Let \((\Omega ,{\mathcal {F}},P)\) be a probability measure and X a real-valued function on \(\Omega \). We say that X is a simple random variable if X has finite range and \(\{\omega :X(\omega )=x \}\in {\mathcal {F}}\) for each \(x\in {\mathbb {R}}\).
Theorem 2.2
(Strong law of large numbers, see [8, theorem 22.1]). Let \((X_n)_{n\in {\mathbb {N}}_0}\) be a sequence of independent and identically distributed real-valued simple random variables on a probability space \((\Omega ,{\mathcal {F}},P)\) such that, for each \(n\in {\mathbb {N}}_0\), \({\mathbb {E}}[X_n]=m\) for some \(m\in {\mathbb {R}}\) (where \({\mathbb {E}}\) denotes the expected value). Then,
Definition 2.3
Let \((G,\cdot )\) be a locally compact Hausdorff topological group and \({\mathcal {B}}\) be the \(\sigma \)-algebra of all Borel subsets of G. A measure \(\mu \) on \((G,{\mathcal {B}})\) is called left-translation-invariant if for all Borel subsets \(S\in \mathcal B\) we have \(\mu (g\cdot S)=\mu (S)\) for all \(g \in G\).
Let us recall a crucial theorem on locally compact Hausdorff topological groups.
Theorem 2.4
(Haar’s Theorem [13]). There is (up to a positive multiplicative constant) a unique countably additive non-trivial measure \(\mu \) on \((G,\mathcal B)\) such that \(\mu \) is
-
(i)
left-translation-invariant;
-
(ii)
finite on every compact set of G;
-
(iii)
outer regular on Borel sets of G;
-
(iv)
inner regular on open sets of G.
We say that \(\mu \) is a (left) Haar measure on \((G,{\mathcal {B}})\) if \(\mu \) satisfies (i)-(iv).
Now we are ready to prove that:
Theorem 2.5
Let \((\mathbb {Q}_p,{\mathcal {B}},\mu )\) be a Haar measure where \({\mathcal {B}}\) is the \(\sigma \)-algebra of all Borel subsets of \(\mathbb {Q}_p\) and \(\mu (\mathbb {Z}_p)=1\). The set of continuous functions \(\mathbb {Z}_p\rightarrow \mathbb {Q}_p\) that do not satisfy Luzin (N) property for the pair \((\mu \restriction \mathbb {Z}_p,\mu )\) is \({\mathfrak {c}}\)-lineable.
Proof
Let \({\mathcal {N}}\) be a family of almost disjoint subsets of \(\mathbb N_0\) of cardinality \({\mathfrak {c}}\). Recall that each \(A\in \mathcal N\) has cardinality \(\aleph _0\). For every \(A \in {\mathcal {N}}\), let \(\pi _A:{\mathbb {N}}_0\rightarrow A\) be an increasing bijection, and let us define \(f_A:\mathbb {Z}_p\rightarrow \mathbb {Q}_p\) as:
for every \(x=\sum _{n=0}^\infty x_n p^n\in \mathbb {Z}_p\). Let us prove that the family \({\mathcal {F}}:=\{f_A :A\in {\mathcal {N}} \}\) is a family of linearly independent continuous functions over \(\mathbb {Q}_p\) such that each \(f\in \text {span}_{\mathbb {Q}_p} {\mathcal {F}}\) does not satisfy Luzin (N) property. (Trivially each \(f\in \text {span}_{\mathbb {Q}_p} {\mathcal {F}}\) is continuous provided that the functions in \({\mathcal {F}}\) are continuous.)
We will prove first that the functions in \({\mathcal {F}}\) are continuous. Take any \(A\in {\mathcal {N}}\). Fix \(\varepsilon >0\) arbitrary and take \(x=\sum _{n=0}^\infty x_n p^n \in \mathbb {Z}_p\). Let \(n_0\in {\mathbb {N}}_0\) be such that \(p^{-n_0}<\varepsilon \). Then, by taking \(y=\sum _{n=0}^\infty y_n p^n \in \mathbb {Z}_p\) such that \(|x-y|_p<p^{-\pi _A(n_0)}\) we have that \(y_n=x_n\) for every \(n\in \{0,\ldots ,\pi _A(n_0) \}\). In particular, y satisfies that \(x_{\pi _A(n)}=y_{\pi _A(n)}\) for every \(n\in \{0,\ldots ,n_0 \}\) since \(\pi _A\) is increasing. Therefore, notice that \(f_A(x)=\sum _{n=0}^\infty x_{\pi _A(n)} p^n\) and \(f_A(y)=\sum _{n=0}^{n_0} x_{\pi _A(n)} p^n+\sum _{n=n_0+1}^\infty y_{\pi _A(n)} p^n\). Hence,
Let us prove now that
is a \(\mu \)-null set. For every \(n\in {\mathbb {N}}_0\), define the random variable \(X_n:\mathbb {Z}_p\rightarrow \{0,\ldots ,p-1 \}\) as \(X_n(x)=x_n\). Notice that the random variables \((X_n)_{n\in {\mathbb {N}}_0}\) are independent, identically distributed and \(\mathbb E[X_n]=\frac{1}{p}\) for every \(n\in {\mathbb {N}}_0\). Hence, by Theorem 2.2, we have that
Thus,
Observe that
If \(N_A\) were a Borel set, then it would be clear that \(N_A\) is a \(\mu \)-null set. However, since the Haar measure is not complete on \((\mathbb {Z}_p,{\mathcal {B}})\), it is not obvious that \(N_A\) is a Borel set. So let us prove that \(N_A\in {\mathcal {B}}\). Let \({\mathbb {F}}_p\) denote the finite field of p elements \(\{0,1,\ldots ,p-1 \}\) endowed with the trivial absolute value, i.e., \({\mathbb {F}}_p\) is a discrete topological space. For any \(n\in {\mathbb {N}}_0\), let us define \({\overline{\pi }}_n :\mathbb {Z}_p\rightarrow {\mathbb {F}}_p\) as \({\overline{\pi }}_n(x)=x_n\) for every \(x=\sum _{n=0}^\infty x_n p^n\in \mathbb {Z}_p\). Let \(n\in {\mathbb {N}}_0\), fix \(\varepsilon >0\) arbitrary and take \(x\in \mathbb {Z}_p\). Choose any integer \(m > n\). For every \(y\in \mathbb Z_p\) such that \(|x-y|_p<p^{-m}\) we have that \({\overline{\pi }}_n(x)={\overline{\pi }}_n(y)\). Therefore, \(|{\overline{\pi }}_n(x)-{\overline{\pi }}_n(y)|=0<\varepsilon \), i.e., \({\overline{\pi }}_n\) is continuous. Now observe that \(N_A=\bigcap _{n\in {\mathbb {N}}{\setminus } A} {\overline{\pi }}_n^{-1}(\{0\})\), where \({\overline{\pi }}_n^{-1}(\{0\})\) is closed since \({\overline{\pi }}_n\) is continuous and \(\{0\}\) is closed in \({\mathbb {F}}_p\). Therefore, the set \(N_A\) is a Borel set since \(N_A\) is the countable intersection of closed sets (in fact, \(N_A\) is closed).
Take any \(A\in {\mathcal {N}}\). Recall that the open balls \(\mathsf B(x,p^{-n})\) (where \(x\in \mathbb {Z}_p\) and \(n\in {\mathbb {N}}_0\)) are Borel sets. Therefore, we have that the set \(N_A\cap \mathsf B(x,p^{-n})\in {\mathcal {B}}\). Moreover, \(N_A\cap {\textsf{B}}(x,p^{-n})\) is a \(\mu \)-null set since \(N_A\) is \(\mu \)-null, and
where \({\overline{n}}_A=\text {card}(A\cap \{0,\ldots ,n \})\). Hence, since \(\mu \) is a Haar measure,
i.e., \(f_A\) does not satisfy Luzin (N) property for the pair \((\mu \restriction \mathbb {Z}_p,\mu )\). Observe that \(\alpha f_A\) is continuous and does not satisfy Luzin (N) property for the pair \((\mu \restriction \mathbb {Z}_p,\mu )\) for any \(\alpha \in \mathbb {Q}_p\setminus \{0\}\) and \(A\in {\mathcal {N}}\).
Finally, let us prove that the functions in \({\mathcal {F}}\) are linearly independent over \(\mathbb {Q}_p\) and any nonzero linear combination over \(\mathbb {Q}_p\) does not satisfy Luzin (N) property. Take \(A_1,\ldots ,A_m\in {\mathcal {N}}\) distinct (where \(m\in {\mathbb {N}} {\setminus } \{1\}\)), \(\lambda _1,\ldots ,\lambda _m\in \mathbb {Q}_p\), and consider the linear combination \(F:=\sum _{i=1}^m \lambda _i f_{A_i}\). Since the sets \(A_1,\ldots ,A_m\) are almost disjoint, we have that \(A_1\cap (\bigcup _{i=2}^m A_i)\) is finite. Therefore, there exists \(n_0\in {\mathbb {N}}\) such that \(A_1\cap (\bigcup _{i=2}^m A_i){\setminus } \{0,\ldots ,n_0 \}=\emptyset \). Assume first that \(F\equiv 0\). Then, take \(x=\sum _{n=0}^\infty x_n p^n \in \mathbb {Z}_p\) such that
Notice that \(x_{\pi _{A_i}(n)}=0\) for every \(i\in \{2,\ldots ,m \}\) and \(n\in {\mathbb {N}}_0\) since \(\pi _{A_i}[{\mathbb {N}}_0]=A_i\) for every \(i\in \{2,\ldots ,m \}\). Also, \(x_{\pi _{A_1}(n)}=0\) for every \(n\in A_1\cap \{0,\ldots ,n_0 \}\) as \(\pi _{A_1}[A_1\cap \{0,\ldots ,n_0 \}]\subseteq \{0,\ldots ,n_0 \}\). Moreover,
where \(n_{A_1}=\text {card}(A_1\cap \{0,\ldots ,n_0 \})\). Thus \(\lambda _1=0\). By applying analogous arguments, we arrive at \(\lambda _i=0\) for every \(i\in \{1,\ldots ,m \}\), that is, the functions in \({\mathcal {F}}\) are linearly independent over \(\mathbb {Q}_p\). Assume for the rest of the proof that \(\lambda _i\ne 0\), for every \(i\in \{1,\ldots ,m \}\), in order to prove that F does not satisfy Luzin (N) property. Once again, consider \(n_0\in {\mathbb {N}}_0\) such that \(A_1\cap (\bigcup _{i=2}^m A_i){\setminus } \{1,\ldots ,n_0 \}=\emptyset \) and take
Observe that \(N_{A_1}^\prime \) is a \(\mu \)-null set. Indeed, this is an immediate consequence of the fact that \(N_{A_1}^\prime =N_{A_1}\cap {\textsf{B}}(0,p^{-n_0})\) is a Borel set and \(N_{A_1}^\prime \) is contained in the \(\mu \)-null set \(N_{A_1}\). Moreover, by construction, \(N_{A_1}^\prime \cap \mathsf B(0,p^{-n})=N_{A_1}\cap {\textsf{B}}(0,p^{-n})\) for any \(n>n_0\), and, for every \(x\in N_{A_1}^\prime \), we have
In particular, if \(n>n_0\), then
where \(n_{A_1}=\text {card}(A_1 \cap \{0,\ldots ,n_0 \})\). Notice that
but \(N_{A_1}^\prime \cap {\textsf{B}}(0,p^{-n})\) is a \(\mu \)-null set. \(\square \)
Remark 2.6
The functions that satisfy the assumptions of Theorem 2.5 are not differentiable. This is an immediate consequence of [22, theorem 73.2 (ii)], which reads as follows:
If \(f:\mathbb {Z}_p\rightarrow \mathbb {Q}_p\) is differentiable, then f maps null sets into null sets.
Notes
For every \(x\in {\mathbb {R}}\), there is a sequence of distinct rational numbers \(N_x:=\{q_n(x):n\in {\mathbb {N}} \}\) that converges to x. Then, the set \({\mathcal {N}}:=\{N_x :x\in {\mathbb {R}} \}\) is a family of almost disjoint subsets of \({\mathbb {Q}}\) that has cardinality \({\mathfrak {c}}\) with each \(N_x\) having cardinality \(\aleph _0\).
References
Albkwre, G.M., Ciesielski, K.C.: Maximal lineability of several subclasses of Darboux-like maps on \({\mathbb{R}}\). Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. RACSAM, 116(1), 24-13 (2022). https://doi.org/10.1007/s13398-021-01169-2
Araújo, G., Bernal-González, L., Fernández-Sánchez, J., Seoane-Sepúlveda, J.B.: Continuous nowhere Hölder functions on \({\mathbb{Z} }_p\). Proc. Am. Math. Soc. 151(3), 1031–1040 (2023). https://doi.org/10.1090/proc/16185
Aron, R.M., Bernal-Gonzalez, L., Pellegrino, D.M., Sepúlveda, J.B.: Lineability: the search for linearity in mathematics, Monographs and Research Notes in Mathematics, CRC Press, Boca Raton, FL, , xix+308 (2016)
Aron, R., Gurariy, V.I., Seoane, J.B.: Lineability and spaceability of sets of functions on \({\mathbb{R} }\). Proc. Am. Math. Soc. 133(3), 795–803 (2005). https://doi.org/10.1090/S0002-9939-04-07533-1
Bernal-González, L., del Carmen Calderón-Moreno, M.: Anti-Fubini and pseudo-Fubini functions. Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. RACSAM 115(3), 127 (2021). https://doi.org/10.1007/s13398-021-01067-7
Bernal-González, L., López-Salazar, J., Seoane-Sepúlveda, J.B.: Holomorphic surjectivity near the boundary: topological and algebraic genericity. Linear Multilinear Algebra 68(7), 1434–1456 (2020). https://doi.org/10.1080/03081087.2018.1545830
Bernal-González, L., Pellegrino, D., Seoane-Sepúlveda, J.B.: Linear subsets of nonlinear sets in topological vector spaces. Bull. Am. Math. Soc. (N.S.), 51(1), 71–130 (2014). https://doi.org/10.1090/S0273-0979-2013-01421-6
Billingsley, P.: Probability and measure, Wiley Series in Probability and Mathematical Statistics, 3, A Wiley-Interscience Publication. Wiley & Sons, Inc., New York, xiv+593 (1995)
Enflo, P.H., Gurariy, V.I., Seoane-Sepúlveda, J.B.: Some results and open questions on spaceability in function spaces. Trans. Am. Math. Soc. 366(2), 611–625 (2014). https://doi.org/10.1090/S0002-9947-2013-05747-9
Fernández-Sánchez, J., Maghsoudi, S., Rodríguez-Vidanes, D.L., Seoane-Sepúlveda, J.B.: Classical vs. non-Archimedean analysis: an approach via algebraic genericity. Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. RACSAM 116(2), 72 (2022). https://doi.org/10.1007/s13398-022-01209-5
Fernández-Sánchez, J., Martínez-Gómez, M.E., Muñoz-Fernández, G.A., Seoane-Sepúlveda, J.B.: Algebraic genericity and special properties within sequence spaces and series. Rocky Mt. J. Math. 51(5), 1639–1648 (2021). https://doi.org/10.1216/rmj.2021.51.1639
Fernández-Sánchez, J., Rodríguez-Vidanes, D.L., Seoane-Sepúlveda, J.B., Trutschnig, W.: Lineability and \(K\)-linear discontinuous functions. Linear Algebra Appl. 645, 52–67 (2022). https://doi.org/10.1016/j.laa.2022.03.007
Folland, G.B.: A Course in Abstract Harmonic Analysis, Studies in Advanced Mathematics. CRC Press, Boca Raton, FL, x+276 (1995)
Gámez, J.L., Muñoz-Fernández, G.A., Seoane-Sepúlveda, J.B.: Lineability and additivity in \({\mathbb{R} ^{\mathbb{R} }}\). J. Math. Anal. Appl. 369(1), 265–272 (2010). https://doi.org/10.1016/j.jmaa.2010.03.036
Gouvêa, F.Q.: \(p\)-adic Numbers, Universitext, An introduction; Third edition of [1251959], Springer, Cham [2020] \(\copyright \) 2020, vi+373. https://doi.org/10.1007/978-3-030-47295-5
Khodabandehlou, J., Maghsoudi, S., Seoane-Sepúlveda, J.B.: Lineability, continuity, and antiderivatives in the non-Archimedean setting. Can. Math. Bull. 64(3), 638–650 (2021). https://doi.org/10.4153/S0008439520000715
Khodabandehlou, J., Maghsoudi, S., Seoane-Sepúlveda, J.B.: Algebraic genericity and summability within the non-Archimedean setting. Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. RACSAM 115(1), 21 (2021). https://doi.org/10.1007/s13398-020-00961-w
Khodabandehlou, J., Maghsoudi, S., Seoane-Sepúlveda, J.B.: Lineability and algebrability within \(p\)-adic function spaces. Bull. Belg. Math. Soc. Simon Stevin, 27(5), 711–729 (2020). https://doi.org/10.36045/j.bbms.200416
Levine, B., Milman, D.: On linear sets in space \(C\) consisting of functions of bounded variation, Russian, with English summary. Comm. Inst. Sci. Math. Méc. Univ. Kharkoff [Zapiski Inst. Mat. Mech.] (4) 16 102–105 (1940)
Luzin, N.N.: Integral i trigonometričeskiĭ ryad, Russian, Editing and commentary by N. K. Bari and D. E. Men\(\prime \) šov, Gosudarstv. Izdat. Tehn.-Teor. Lit., Moscow-Leningrad, 550 (1951)
Seoane-Sepúlveda, J.B.: Chaos and lineability of pathological phenomena in analysis, Thesis (Ph.D.)–Kent State University, ProQuest LLC, Ann Arbor, MI, 139 (2006)
Schikhof, W.H.: Ultrametric calculus, Cambridge Studies in Advanced Mathematics, 4, An introduction to \(p\)-adic analysis, Cambridge University Press, Cambridge, viii+306 (1984)
Spivak, M.: Calculus on manifolds. A modern approach to classical theorems of advanced calculus, W. A. Benjamin, Inc., New York-Amsterdam, xii+144 (1965)
van Rooij, A.C.M., Schikhof, W.H.: A second course on real functions, Cambridge University Press, Cambridge-New York, xiii+200 (1982)
Funding
Open Access funding provided thanks to the CRUE-CSIC agreement with Springer Nature. D. L. Rodríguez-Vidanes and J. B. Seoane-Sepúlveda were supported by Grant PGC2018-097286-B-I00. D. L. Rodríguez-Vidanes was also supported by the Spanish Ministry of Science, Innovation and Universities and the European Social Fund through a “Contrato Predoctoral para la Formación de Doctores, 2019” (PRE2019-089135). S. Maghsoudi was supported by the Iran National Science Foundation (INSF) grant no. 99019850.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interests
The authors have no relevant financial or non-financial interests to disclose.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
D. L. Rodríguez-Vidanes and J. B. Seoane-Sepúlveda were supported by Grant PGC2018-097286-B-I00. D. L. Rodríguez-Vidanes was also supported by the Spanish Ministry of Science, Innovation and Universities and the European Social Fund through a “Contrato Predoctoral para la Formación de Doctores, 2019” (PRE2019-089135). S. Maghsoudi was supported by the Iran National Science Foundation (INSF) Grant No. 99019850.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Fernández-Sánchez, J., Maghsoudi, S., Rodríguez-Vidanes, D.L. et al. The Set of p-Adic Continuous Functions not Satisfying the Luzin (N) Property. Results Math 78, 157 (2023). https://doi.org/10.1007/s00025-023-01933-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00025-023-01933-3
Keywords
- p-adic numbers
- p-adic continuous functions
- p-adic differentiable functions
- lineability
- Luzin (N) property