New 5-adic Cantor sets and fractal string

Abstract

In the year (1879–1884), George Cantor coined few problems and consequences in the field of set theory. One of them was the Cantor ternary set as a classical example of fractals. In this paper, 5-adic Cantor one-fifth set as an example of fractal string have been introduced. Moreover, the applications of 5-adic Cantor one-fifth set in string theory have also been studied.

Introduction

During the late eighteenth century, mathematicians delighted in producing sets with ever more weird properties, many of them now recognized to be fractal in nature (Crilly et al.). George Cantor (1879–1884) wrote a series of papers entitled “Uber unendliche lineare punktmannichfaltigkeiten” (Cantor 1879; 1880; 1882; 1883a; 1883b; 1884) that contained the first systematic treatment of the point set topology of real line, in which he triggered some problems and consequences in the field of set theory. One of these is the classical Cantor set problem devised by Cantor in the footnote to a statement saying that perfect sets do not need to be everywhere dense (Fleron 1994). In last two decades, Devil’s and other researchers established the graphical representation of Cantor sets in the form of staircases (Horiguchi and Morita 1984a; 1984b; Rani and Prasad 2010).

Middle one-third, a classical Cantor set found a celebrated place in the mathematical analysis and in its applications (Hutchinson 1981; Mendes 1999; Shaver 2010). For a fundamental work on Cantor set and its applications, one may refer to (Peitgen et al. 2004), (Devaney 1992), (Beardon 1965), (Falconer 1985), (Lapidus and van Frankenhuijsen 2006), (Gutfraind et al. 1990) and (Lee 1998). In recent years, p-adic analysis has been used in various areas of mathematics as well as in aspects of quantum physics and string theory (Lapidus and van Frankenhuijsen 2006). For a detailed analysis of fractal string and p-adic integers, one may refer to (Chistyakov 1996; Hung 2007; Koblitz 1984; Robert 2000; Schikhof 1984; Vladimirov et al. 1994).

Lapidus and van Frankenhuijsen (2000; 2006) introduced the concept of fractal string and established the geometric zeta function, zeros of zeta function, spectra of fractal string and the complex dimension of the fractal string. In 2008, (Lapidus 2008) suggested that fractal string and their quantization may be related to aspects of string theory. In last few decades, M. L. Lapidus, jointly with other researchers generalized and introduced the various properties of fractal string (see (Edgar 2008; Lapidus 1992; Lapidus and Maier 1995; Lapidus and Pearse 2006; 2008; Lapidus and Pomerance 1993)).

In 2008, (Lapidus and Hung 2008; 2009) provided a framework for unifying the archimedean and p-adic (nonarchimedean) fractal string with their geometric zeta functions and complex dimensions for 3-adic Cantor sets and also the general case for p-adic Cantor sets respectively. Recently, (Ashish, Mamta Rani and Renu Chugh, Variants of Cantor Sets Using IFS, submitted and Ashish, Mamta Rani and Renu Chugh, Study of Variants of Cantor sets., submitted) studied the variants of Cantor sets and established their mathematical analysis using mathematical feedback system and iterated function system respectively.

Our goal in this paper is to study the Cantor one-fifth set as a new classical example of fractal string. Moreover, the non-archimedean (5-adic) Cantor one-fifth set with their applications in string theory has also been established. In the third section, the main results of our study have been presented, followed by the “Concluding remarks” section.

Preliminaries

In this section, we recall some basic definitions pertaining to the notion of (ordinary) fractal string and introduce several new ones such as the most important of which are quinary expansion and Cantor one-fifth set:

Definition 2.1. Cantor one-fifth set

The Cantor one-fifth set for unequal intervals is defined as the F = ∩ F_n+1, where F_n+1 is constructed by dividing F _n in five unequal line segments and removing second and fourth one-fifth line segment, F₀ being the closed interval 0 ≤ x ≤ 1 (Ashish, Mamta Rani and Renu Chugh, Variants of Cantor Sets Using IFS, submitted).

Definition 2.2. Quinary expansion

The sequence 0.x₁x₂x₃x₄x₅…, where each x _i is either 0, 1, 2, 3, or 4 is called quinary expansion of x if x = x₁/5 + x₂/5² + x₃/5³ + ....

For example, the sequence 0.04444… is the quinary expansion of 1/5 since we have

$$\frac{0}{5}+\frac{4}{5^2}+\frac{4}{5^3}+\frac{4}{5^4}+\frac{4}{5^5}+\frac{4}{5^6}+......=\frac{4}{5^2}{\displaystyle \sum _{i=0}^{\infty }\frac{1}{5^i}}=\frac{1}{5}$$

Lapidus and van Frankenhuijsen (2000) and (2006), introduced the concept of fractal strings as follows:

Definition 2.3. Fractal string

A fractal string Ω is a bounded open subset of the real line R. The collection of lengths ℓ _j of the disjoint intervals is denoted by L.

For example, the complement of the Cantor set in the closed unit interval [0, 1] is a Cantor string. Moreover, the topological boundary of Cantor string is the Cantor set C itself.

Definition 2.4. Geometric zeta function

The geometric zeta function of a fractal string Ω with lengths L is

$${\varsigma }_L\left(s\right)={\displaystyle \sum _{k=1}^{\infty }{m}_k{\ell }_k^s}$$

where ℓ₁, ℓ₂, …, ℓ _k are the lengths of open intervals and m _k be the corresponding multiplicity of open intervals (Lapidus and van Frankenhuijsen 2000).

For example, Cantor string consists of intervals of lengths ℓ₁ = (l₁ = 1/3), ℓ₂ = (l₂ = l₃ = 1/9), ℓ₃ = (l₄ = l₅ = l₆ = l₇ = 1/27), and so on, that is, the lengths are the numbers 3^-k-1 with multiplicity $m_{3^{-k-1}}=2^k$ for k = 0, 1, 2, 3, …. . So, the geometric zeta function is:

$$\begin{array}{cc}\hfill {\varsigma }_L\left(s\right)={\displaystyle \sum _{k=0}^{\infty }{m}_k{\ell }_k^s}={\displaystyle \sum _{k=0}^{\infty }{2}^k{.3}^{\left(-k-1\right)s}}=\frac{3^{-s}}{1-{2.3}^{-s}}\hfill & \hfill \mathrm{for}\mathit{Re}\left(s>D\right)\hfill \end{array}$$

where D = log2/log3 is the dimension of usual Cantor set.

Recently, (Ashish, Mamta Rani and Renu Chugh, Variants of Cantor Sets Using IFS, submitted), established the self-similarity of the Cantor one-fifth set using the iteration function system as follows:

Theorem 2.1

Let f₁, f₂ and f₃ be the similarity contraction mappings on ℝ defined by

$$\begin{array}{ccc}\hfill f_1\left(x\right)=x/5,\hfill & \hfill f_2\left(x\right)=(x+2)/5,\hfill & \hfill f_3\left(x\right)=(x+4)/5,\hfill \end{array}$$

where all the mappings have the ratio 1/5. Then, the Cantor one-fifth set F satisfies the self-referential equation

$$F=f_1\left[F\right]\cup f_2\left[F\right]\cup f_3\left[F\right]$$

for the iterated function system (f₁, f₂, f₃).

Main results

5-adic (nonarchimedean) Cantor one-fifth set

A sequence (s _i )_{i ∈ ℕ} of natural numbers between 0 and p-1 (inclusive) is a p-adic integer. We write this conventionally as .....s _i .....s₂ s₁ s₀. If ‘n’ is any natural number, and

$$n=\frac{}{s_{k-1}{s}_{k-2}....s_1{s}_0}$$

is its p-adic representation (in other words, $n={\displaystyle {\sum }_{i=0}^{k-1}{s}_i}{p}^i$ with each s _i is a p-adic digit), then we identify ‘n’ with the p-adic integer (s _i ) with s _i  = 0 if i ≥ k (Madore 2000). Further, the set of p-adic integers, which we call ℤ _p with two binary operations on it (addition and multiplication) is a ring. The relation between the set (ring) ℤ _p of p-adic integers and the set (field) ℚ _p of p-adic numbers is the same as between the set (ring) ℤ of integers and the set (field) ℚ of rationals (Madore 2000). Since, ℤ _p is an important subspace of ℚ _p , it can be represented as follows:

$$\begin{array}{cc}\hfill {\mathbb{Z}}_p=\{s_0+s_1{p}^1+s_2{p}^2+\dots ;s_i\in \left(0,1,2,\dots ,p-1\right),\hfill & \hfill \mathrm{for}\mathrm{all}i\ge 0\}\hfill \end{array}$$

For this p-adic expansion, we can also write

$${\mathbb{Z}}_p={\displaystyle \underset{c=0}{\overset{p-1}{\cup }}\left(c+p{\mathbb{Z}}_p\right),}$$

where c + pℤ _p  = {y ∈ ℚ _p  : |y - c| _p  ≤ 1/p} (Lapidus and van Frankenhuijsen 2006) It is also known that there are topological models of ℤ _p in the Euclidean space ℝ^d as fractal spaces such as the Cantor set and the Sierpinsky gasket (Robert 2000), where ℤ _p is homeomorphic to the ternary Cantor set. Now, we consider the ring of 5-adic integers ℤ₅, that is, homeomorphic to Cantor one-fifth set.

Figure 1 below shows the representation of 5-adic Cantor one-fifth set ‘N’. To start the construction, initiator N₀ = ℤ₅ is subdivided into five equal subintervals 0 + 5ℤ₅, 1 + 5ℤ₅, 2 + 5ℤ₅, 3 + 5ℤ₅ and 4 + 5ℤ₅. Drop the subintervals 1 + 5ℤ₅ and 3 + 5ℤ₅ and repeat the same process for the remaining subintervals. Further, repeating the same process over and over again, by removing the open subintervals of second and fourth position at each step from each closed interval, we obtain a sequence N _k for k = 1, 2, . . . The 5-adic Cantor one-fifth set (see Figure 1) N _k consists of 3^k disjoint closed intervals. Thus, the 5-adic Cantor one-fifth set would be the limit ‘N’ of the sequence N _k of sets. So, we define limit ‘N’ as the intersection of the sets N _k i.e.

$$N={\displaystyle \underset{k\in \mathbb{N}}{\cap }{N}_k}.$$

Figure 1

5-adic (nonarchimedean) Cantor one-fifth set.

Theorem 3.1

Let f₁, f₂ and f₃ be the similarity contraction mappings on 5-adic integer ℤ₅ defined by

$$\begin{array}{ccc}\hfill f_1\left(x\right)=5x,\hfill & \hfill f_2\left(x\right)=5x+2,\hfill & \hfill f_3\left(x\right)=5x+4,\hfill \end{array}$$

(1)

with scaling ratio 1/5. Then, the 5-adic Cantor one-fifth set N satisfies the self-referential equation

$$N=f_1\left[N\right]\cup f_2\left[N\right]\cup f_3\left[N\right].$$

(2)

Proof: Using above construction of 5-adic Cantor one-fifth set, we can say that

$$N_{k+1}=f_1\left[N_k\right]\cup f_2\left[N_k\right]\cup f_3\left[N_k\right]$$

for all k ≥ 1. Since, the mapping f _j for j = 1, 2, 3 is one-to-one and N = ∩ N _k , then it implies that

f _j [N] = f _j [ ∩ N _k ] = ∩ f _j [N _k ], for k = 1, 2, ….

so that, we can write f₁[N] = ∩ f₁[N _k ], f₂[N] = ∩ f₂[N _k ]and f₃[N] = ∩ f₃[N _k ],

therefore, f₁[N] ∪ f₂[N] ∪ f₃[N] = ( ∩ f₁[N _k ]) ∪ ( ∩ f₂[N _k ]) ∪ ( ∩ f₃[N _k ])

$$f_1\left[N\right]\cup f_2\left[N\right]\cup f_3\left[N\right]=\cap \left(f_1\left[N_k\right]\cup f_2\left[N_k\right]\cup f_3\left[N_k\right]\right)$$

$$f_1\left[N\right]\cup f_2\left[N\right]\cup f_3\left[N\right]=\cap N_{k+1}=N$$

$$f_1\left[N\right]\cup f_2\left[N\right]\cup f_3\left[N\right]=N$$

which gives the proof of the theorem.

Figure 2 shows the graphical representation of 5-adic Cantor one-fifth set using iterated function system (f₁, f₂, f₃).

Figure 2

5-adic Cantor one-fifth set using IFS.

Quinary expansion of 5-adic Cantor one-fifth set

Theorem 3.2

The 5-adic Cantor one-fifth set is represented by the quinary expansion of its elements in the form

$$N=\left\{x\in {\mathbb{Z}}_5:x=x_0+5^1{x}_1+5^2{x}_2+\dots ,x_j\in \left\{0,2,4\right\}\right\}$$

(3)

for all j = 0, 1, 2, .....

Proof: Let us define the inverse of similarity contraction mappings f₁, f₂ and f₃, on ℤ₅ as follows:

$$\begin{array}{ccc}\hfill f_1^{-1}\left(x\right)=x/5,\hfill & \hfill f_2^{-1}\left(x\right)=(x-2)/5,\hfill & \hfill f_3^{-1}\left(x\right)=(x-4)/5,\hfill \end{array}$$

(4)

Now, for x _j ∊ {0, 1, 2, 3, 4}, for all j ≥ 0, either

$$\begin{array}{ccc}\hfill x=x_0+5^1{x}_1+5^2{x}_2+\dots ,\in 1+5{\mathbb{Z}}_5\hfill & \hfill \mathrm{or}\hfill & \hfill 3+5{\mathbb{Z}}_5,\hfill \end{array}$$

(5)

if and only if either x₀ = 1 or x₀ = 3, respectively. Let η, μ ∈ ℕ be the fixed subscript numbers such that x _η  = 1and x _μ  = 3. Thus, x _j  = 0, 2 or 4, for all j > η and all j > μ. Since, we have divided the real line into five equal line segments denoted by 0, 1, 2, 3, and 4 respectively. Thus, if x₀ = 0, then we use the function f₁^-1 for all x ∊ N, if x₀ = 2, then use the function f₂^-1 for all x ∊ N and if x₀ = 4, then use the function f₃^-1 for all x ∊ N. Thus, from these three cases, we obtain

$$\begin{array}{l}{f}_1^{-1}\left(x\right)=f_2^{-1}\left(x\right)=f_3^{-1}\left(x\right)=x_1+5^1{x}_2+\dots ,+5^{\eta -1}{x}_{\eta }+5^{\eta }{x}_{\eta +1}+\dots ,\hfill \\ f_1^{-1}\left(x\right)=f_2^{-1}\left(x\right)=f_3^{-1}\left(x\right)=x_1+5^1{x}_2+\dots ,+5^{\mu -1}{x}_{\mu }+5^{\mu }{x}_{\mu +1}+\dots \hfill \end{array}$$

again repeating the process in this manner, we obtain the general case

$$\begin{array}{l}{f}_1^{-1}\left(x\right)=f_2^{-1}\left(x\right)=f_3^{-1}\left(x\right)=x_{\eta }+5x_{\eta +1}+\dots ,\hfill \\ f_1^{-1}\left(x\right)=f_2^{-1}\left(x\right)=f_3^{-1}\left(x\right)=x_{\mu }+5x_{\mu +1}+\dots \hfill \end{array}$$

which lie in the intervals 1 + 5ℤ₅  and 3 + 5ℤ₅  respectively. Thus, we found that

$$\begin{array}{ccc}\hfill N\cap \left(1+5{\mathbb{Z}}_5\right)=\varnothing \hfill & \hfill \mathrm{and}\hfill & \hfill N\cap \left(3+5{\mathbb{Z}}_5\right)=\varnothing \hfill \end{array}$$

Hence either x ∈ 1 + 5ℤ₅  or x ∈ 3 + 5ℤ₅  which deduce that x ∉ N. Hence we proved that for x _j ∊ {0, 2, 4}, x ∊ N.

Conversely, let all the variables x = x₀ + 5¹x₁ + 5²x₂ + …, belong to ℤ₅ for all x _j ∊ {0, 2, 4}, and j = 0, 1, 2, …. Then, from Eq. (3) and (5), we can say that neither x ∈ 1 + 5ℤ₅  nor x ∈ 3 + 5ℤ₅  which implies that x ∉ f _j (1 + 5ℤ₅) and also x ∉ f _j (3 + 5ℤ₅), for j ∊ W _l  = {1, 2, 3}^l, l = 0, 1, 2, ..... Thus,

$$x\notin \left\{\left({\displaystyle \underset{l=0}{\overset{\infty }{\cup }}{\displaystyle \underset{j\in W_l}{\cup }{f}_j}}\left(1+5{\mathbb{Z}}_5\right)\right)\cup \left({\displaystyle \underset{l=0}{\overset{\infty }{\cup }}{\displaystyle \underset{j\in W_l}{\cup }{f}_j}}\left(3+5{\mathbb{Z}}_5\right)\right)\right\}=Y$$

Thus, N ∪ Y = ℤ₅ and hence x ∊ N, which completes the proof of the theorem.

Cantor one-fifth set as fractal string

It is well known from the definition of fractal string that such a set consists of countably many disjoint open intervals. The lengths of which form a sequence L = ℓ₁, ℓ₂, ℓ₃, …, called the lengths of the string. We can assume without loss of generality that

$${\ell }_1\ge {\ell }_2\ge {\ell }_3,\dots ,>0$$

where each length is counted according to its multiplicity. An ordinary fractal string can be thought of as a one-dimensional drum with fractal boundary. In the literature of fractal geometry, we found a classical example of the fractal string as Cantor string. It is the set, complement of the interval [0, 1] of the usual ternary Cantor set. It is one of the simplest and most important example in the research of fractal string by (Lapidus and van Frankenhuijsen 2006). Information about the geometry of Cantor string like Minkowski dimension and the Minkowski measurability is obtained from its geometric zeta function. Motivated by the research of Lapidus with other researcher’s (Lapidus and Hung 2008) on the Cantor string, we introduce a new Cantor one-fifth set as an example of fractal string.

The Cantor one-fifth string ℵ, is the complement of [0, 1] of the usual Cantor one-fifth set F. The Figure 3 shows the geometrical representation of Cantor one-fifth string.

Figure 3

Cantor one-fifth set as fractal string.

Thus, we obtain

$$\begin{array}{l}\aleph =\left(1/5,2/5\right)\cup (3/5,4/5)\cup (1/25,2/25)\cup (3/25,4/25)\cup \hfill \\ (11/25,12/25)\cup \left(1/25,2/25\right)\cup (13/25,14/25)\cup \hfill \\ (21/25,22/25)\cup (23/25,24/25)\cup p\hfill \end{array}$$

where, ℓ₁ = (l₁ = l₂ = 1/5), ℓ₂ = (l₃ = l₄ = l₅ = l₆ = l₇ = l₈ = 1/25) and so on. Continuing in this way, we find that the lengths of open intervals is consist of ℓ _k  = 5^-k-1 with multiplicity $m_{5^{-k-1}}={2.3}^k$ for k = 0, 1, 2, ....

Thus, the geometric zeta function of the Cantor one-fifth string is determined by the sequence ℵ:

$$\begin{array}{l}{\varsigma }_{\aleph }\left(s\right)={\displaystyle \sum _{k=0}^{\infty }{m}_k}{\ell }_k^s=\sum _{k=0}^{\infty }{2.3}^k{.5}^{\left(-k-1\right)s}=\frac{{2.5}^{s-1}}{5^s-3}\\ \mathrm{for}\mathrm{Re}\left(s\right)>log3/log5\end{array}$$

(6)

The poles of the such function are the set of complex numbers (see (Lapidus and Hung 2008), pp. 7) and given by

$$D_L=\left\{D+\mathit{inp}:n\in \mathbb{Z}\right\},=\left\{0.6826+\mathit{in}2\pi /log5:n\in \mathbb{Z}\right\},$$

(7)

where D = log 3/log 5 = 0.6826 is the dimension of Cantor one-fifth set and p = 2π/log 5 oscillatory period of Cantor one-fifth string ℵ, is called complex dimension of Cantor one-fifth string.

Further, representation of Cantor one-fifth string may be seen in Figure 4 using fractal harp.

Figure 4

Fractal harp of Cantor one-fifth string.

5-adic Cantor one-fifth set as fractal string

Since, the construction of 5-adic Cantor one-fifth string (ξ) is analogue to the usual Cantor one-fifth set. We start, by subdividing the interval ℤ₅ into closed subintervals

$$\begin{array}{c}\hfill f_1\left({\mathbb{Z}}_5\right)=0+5{\mathbb{Z}}_5\hfill \\ \hfill f_2\left({\mathbb{Z}}_5\right)=2+5{\mathbb{Z}}_5\hfill \\ \hfill f_3\left({\mathbb{Z}}_5\right)=4+5{\mathbb{Z}}_5\hfill \end{array}$$

since, fractal string is complement of the usual Cantor one-fifth set in the closed interval [0, 1], the remaining open subintervals after this step are given by

$$\begin{array}{l}{\mathbb{Z}}_5-{\displaystyle \underset{j=1}{\overset{2}{\cup }}{f}_j}\left({\mathbb{Z}}_5\right)=1+5{\mathbb{Z}}_5=G_1,\hfill \\ {\mathbb{Z}}_5-{\displaystyle \underset{j=2}{\overset{3}{\cup }}{f}_j}\left({\mathbb{Z}}_5\right)=3+5{\mathbb{Z}}_5=G_2\hfill \end{array}$$

then, the G₁ ∪ G₂ is the first sub-ring of self similar 5-adic Cantor one-fifth string. The lengths of G₁ and G₂ are given by using the Haar measure (Gupta and Jain 1986) as follows:

$$l_1=l_2={\mu }_H\left(G_1\right)={\mu }_H\left(G_2\right)=1/5$$

Again repeating the same process, by subdividing the closed intervals of first step (see Figure 1), we get

$$\begin{array}{l}{f}_{11}\left[{\mathbb{Z}}_5\right]=0+25{\mathbb{Z}}_5,f_{21}\left[{\mathbb{Z}}_5\right]=10+25{\mathbb{Z}}_5,\\ f_{31}\left[{\mathbb{Z}}_5\right]=20+25{\mathbb{Z}}_5,f_{12}\left[{\mathbb{Z}}_5\right]=2+25{\mathbb{Z}}_5,\\ f_{22}\left[{\mathbb{Z}}_5\right]=12+25{\mathbb{Z}}_5,f_{32}\left[{\mathbb{Z}}_5\right]=22+25{\mathbb{Z}}_5,\\ f_{13}\left[{\mathbb{Z}}_5\right]=4+25{\mathbb{Z}}_5,f_{23}\left[{\mathbb{Z}}_5\right]=14+25{\mathbb{Z}}_5,\\ f_{33}\left[{\mathbb{Z}}_5\right]=24+25{\mathbb{Z}}_5.\end{array}$$

Thus, the remaining open subintervals are given by

$$\begin{array}{ll}{\mathbb{Z}}_5-{\displaystyle \underset{j=1}{\overset{2}{\cup }}{f}_{j1}}\left({\mathbb{Z}}_5\right)=5+25{\mathbb{Z}}_5=G_3,\hfill & {\mathbb{Z}}_5-{\displaystyle \underset{j=2}{\overset{3}{\cup }}{f}_{j1}}\left({\mathbb{Z}}_5\right)=15+25{\mathbb{Z}}_5=G_4,\hfill \\ {\mathbb{Z}}_5-{\displaystyle \underset{j=1}{\overset{2}{\cup }}{f}_{j2}}\left({\mathbb{Z}}_5\right)=7+25{\mathbb{Z}}_5=G_5,\hfill & {\mathbb{Z}}_5-{\displaystyle \underset{j=2}{\overset{3}{\cup }}{f}_{j2}}\left({\mathbb{Z}}_5\right)=17+25{\mathbb{Z}}_5=G_6,\hfill \\ {\mathbb{Z}}_5-{\displaystyle \underset{j=1}{\overset{2}{\cup }}{f}_{j3}}\left({\mathbb{Z}}_5\right)=9+25{\mathbb{Z}}_5=G_7,\hfill & {\mathbb{Z}}_5-{\displaystyle \underset{j=2}{\overset{3}{\cup }}{f}_{j3}}\left({\mathbb{Z}}_5\right)=19+25{\mathbb{Z}}_5=G_8.\hfill \end{array}$$

The subring G₃ ∪ G₄ ∪ G₅ ∪ G₆ ∪ G₇ ∪ G₈is the second set of self-similar 5-adic Cantor one-fifth string. Thus, the length is given by

$$\begin{array}{l}{l}_3=l_4=l_5=l_6=l_7=l_8={\mu }_H\left(G_3\right)={\mu }_H\left(G_4\right)\\ ={\mu }_H\left(G_5\right)={\mu }_H\left(G_6\right)={\mu }_H\left(G_7\right)={\mu }_H\left(G_8\right)=1/25.\end{array}$$

Repeating the same process over and over again, we obtain a sequence ℓ₁ = ℓ₂ = ℓ₃ = ℓ₄ = ℓ₅ = ..... which consists of lengths 5^-k-1 with multiplicity 2.3^k. Using Figure 5 the 5-adic Cantor one-fifth string can also be written as follows:

$$\begin{array}{l}\xi =\left(1+5{\mathbb{Z}}_5\right)\cup (3+5{\mathbb{Z}}_5)\cup (5+25{\mathbb{Z}}_5)\cup (15+25{\mathbb{Z}}_5)\cup \hfill \\ \left(7+25{\mathbb{Z}}_5\right)\cup (17+25{\mathbb{Z}}_5)\cup (9+25{\mathbb{Z}}_5)\cup (19+25{\mathbb{Z}}_5)\cup ....\hfill \end{array}$$

Figure 5

5-adic Cantor one fifth string via IFS.

From Definition 2.3 (Lapidus and Hung 2009), the geometric zeta function of ξ is given by

$$\begin{array}{l}{\varsigma }_{\xi }={\left({\mu }_H\left(1+5{\mathbb{Z}}_5\right)\right)}^s+{\left({\mu }_H\left(3+5{\mathbb{Z}}_5\right)\right)}^s+{\left({\mu }_H\left(5+25{\mathbb{Z}}_5\right)\right)}^s+\dots \\ ={\displaystyle \sum _{k=1}^{\infty }{m}_k}{\ell }_k^s={\displaystyle \sum _{k=1}^{\infty }{2.3}^k{.5}^{\left(-k-1\right)s}}=\frac{{2.5}^{s-1}}{5^s-3}\\ \mathrm{for}\mathrm{Re}\left(s\right)>log3/log5\end{array}$$

(8)

the poles of the such function are the set of complex numbers

$$D_L=\left\{D+\mathit{inp}:n\in \mathbb{Z}\right\}=\frac{log3}{log5}+\mathit{in}\frac{2\pi }{log5},$$

(9)

where D = log 3/log 5 = 0.6826 is the dimension of 5-adic Cantor one-fifth string and p = 2π/log 5 oscillatory period is the volume of the inner tubular neighborhood of ξ.

Concluding remarks

Based on the results, our conclusions are following:

• 1. In Subsection “5-adic (nonarchimedean) Cantor one-fifth set”, using 5-adic integer it has been concluded that Cantor one-fifth set satisfies the nonarchimedean properties of a set and also studied that nonarchimedean Cantor one-fifth set satisfies self-similarity property using self-referential equation.

• 2. Further, it has been concluded that quinary Cantor one-fifth set is homeomorphic to 5-adic Cantor one-fifth set N in subsection “Quinary expansion of 5-adic Cantor one-fifth set”.

• 3. In Subsection “Cantor one-fifth set as fractal string” and “5-adic Cantor one-fifth set as fractal string”, it has been analyzed that Cantor one-fifth set and 5-adic Cantor one-fifth set both satisfy the properties of fractal string. Moreover, we found that the geometric zeta function and the complex dimension of both the sets are perfectly same.