Reach Us
+44-1474-556909

**Mansour Alyazidi-Asiry ^{*}**

Department of Mathematics, College of Sciences, King Saud University, Riyadh, Saudi Arabia

- *Corresponding Author:
- Mansour Alyazidi-Asiry

Department of Mathematics

College of Sciences

King Saud University

P.O.Box 2455,Riyadh 11451

Saudi Arabia

**Tel:**44559-55669

**E-mail:**[email protected]

**Received Date:** July 16, 2017; **Accepted Date:** July 27, 2017; **Published Date:** July 30, 2017

**Citation: **Alyazidi-Asiry M (2017) Extending a Chebyshev Subspace to a Weak Chebyshev Subspace of Higher Dimension and Related Results. J Appl Computat Math 6: 347. doi: 10.4172/2168-9679.1000347

**Copyright:** © 2017 Alyazidi-Asiry M. This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.

**Visit for more related articles at** Journal of Applied & Computational Mathematics

Let G={g1,…,gn} be an n-dimensional Chebyshev sub-space of C[a, b] such that 1∉G and U=(u0, u1 ,…,un ) be an (n+1)-dimensional subspace of C[a, b] where u0 =1, ui =gi , i=1….. n. Under certain restriction on G, we proved that U is a Chebyshev subspace if and only if it is a Weak Chebyshev subspace. In addition, some other related results are established.

Chebyshev system; Weak Chebyshev system

The finite set of functions {g_{1},….,g_{n}} and C[a, b] is called a Chebyshev system on [a, b] if it is linearly independent and for all such that a ≤ x_{1},<x_{2} <….<x_{n} ≤ b, and the n-dimensional subspace G=[g_{1},…,g_{n}] of C[a, b] will be called a Chebyshev subspace [1-4]. Using the continuity of the determinant, it can be shown that the sign of the determinant is constant [5], so we will assume that the sign of the determinant is always positive through this paper (replace g1 by -g1 if necessary). And the finite set of functions {g_{1},….g_{n}} and C[a, b] is called a Weak Chebyshev system on [a, b] if it is linearly independent and for all such that a ≤ x_{1},<x_{2} <….<x_{n} ≤ b, and the n-dimensional subspace G={g_{1},…,g_{n}} of C[a, b] will be called a weak Chebyshev subspace, C[a, b] is the space of all real-valued continuous functions. Extending an n-dimensional Chebyshev subspace which does not contain a constant function to an (n+1)-dimensional Chebyshev subspace containing a constant function was investigated [4]. In what follows is the statement of the problem considered in this paper: Let G=[g_{1},…….g_{n}] be a Chebyshev subspace of C[a, b] such that 1∉G and U={u_{0},u_{1},……u_{n}} be an (n+1)- dimensional subspace of C[a, b] where u_{0}=1, u_{i}=g_{i}, i=1,….,n [6-8]. Our main purpose is to prove that, under certain restriction on G, U is a Chebyshev subspace of C[a, b] if and only if it is a Weak Chebyshev subspace of C[a, b]. An example illustrating that the preceding assertion is not true in general is presented and some related results are given at the end of the last section.

We start this section by the following well known theorem [3,5].

**Theorem**

For an n-dimensional subspace G of C[a, b], the following statements are equivalent.

(i) G is a Chebyshev subspace.

(ii) Every nontrivial function g ∈ G has at most n-1 distinct zeros in [a, b].

(iii) For all points a=t_{0} ≤ t_{1} < …. < t_{n-1} ≤ t_{n}=b, there exists a function g ∈G such that

g(t)=0, t ∈ {t_{1},…..,t_{n-1}}

g(t)≠ 0, t ∉ {t_{1},….,t_{n-1}}

(-1)^{I} g(t)>0, t ∈(t_{i-1}, t_{i}), i=1,…..,n

We need the following definitions:

**Definition 1:** Let *U* be a subspace of C[a, b], x ∈ [a, b] and *f* ∈U such that f(x)=0. We call x an essential zero of *f* with respect to *U*, if and only if there is a g ∈U with g(x) ≠ 0.

If no confusion arises, the term "with respect to *U* "will be omitted.

Definition 2: Let *f* ∈C[a, b] and a ≤ t_{1}<,….,< t_{n} ≤ b be zeros of *f*. we say that these zeros are separated if and only if there are s_{1},…..,s_{n-1} in [a, b] with

t_{i} < s_{i} < t_{i+1}

Such that

f(s_{i}) ≠ 0, i=1,……n-1.

The following theorem is a version of theorem 1 of Stockenberg [6].

**Theorem**

Let **G** be an n-dimensional Weak Chebyshev subspace of C[a, b]. Then the following statements hold.

1. If there is a g ∈ G with n separated, essential zeros a ≤ t_{1} <…< t_{n} ≤ b, then g(t)=0 for all t with t ≤ t_{1} ≥ t_{n}.

2. No g ∈ G has more than n separated, essential zeros.

We start this section with the following lemma.

**Lemma**

Let G={g_{1},…,g_{n}} be an n –dimensional Chebyshev subspace of C[a, b] such that 1 ∉ and U={u_{0},u_{1},….,u_{n}} be an (n+1)-dimensional subspace of C[a,b] where u_{0}=1, u_{i}=g_{i}, I=1,…..,n. If there are two nontrivial functions h, k∈ *U* and a set of n points with

a ≤ x_{1}< x_{2}< …..< x_{n} ≤ b

such that

h(x_{i})=k(x_{i})=0, i=1,…, n,

then there is a nonzero constant λ such that h(x) – λk(x) for every x∈ [a, b].

**Proof:** Write , if a_{0}=0 then h ∈ G and from theorem (1)

h(x)=0 for every x ∈[a, b], so a_{0} ≠ 0 then h (x_{i})=0,i=1,….,n, where

Similarly, if , then b_{0} ≠ 0 and where

Now let , then *f* is an element of the n-dimensional Chebyshev subspace G with *f*(x_{i})=0, i=1,….,n, so *f* _{≡ 0} and , taking , we have λ ≠ 0 and h(x)=λ k(x) for every x ∈ [a, b].

** Assumption A:** We say that the subspace G of C[a, b] satisfies assumption A if for each

**Lemma**

Let G=(g_{1},…., g_{n}) be an n-dimensional Chebyshev subspace of C[a, b] such that 1∈G and U=(u_{0},u_{1},…, u_{n}) be an (**n**+1)-dimensional subspace of C[a, b] where u0=1, u_{i}=g_{i}, i=1,…, n. If **G** satisfies Assumption A, then the zeros of each nontrivial function h ∈ U are separated and essential.

**Proof:** Let h be a nontrivial element of *U* such that h(x)=h(y)=0 for some x, y with a ≤ x < y ≤ b. If h ∈ G, then n ≤ 3, for otherwise h ≡ 0, and since G is an n-dimensional Chebyshev subspace of C[a, b], there is a point z ∈ (x, y) such that h(z) ≠ 0. If h∉ G, then h=α+g, where α ≠ 0 and g∈G, hence g(x)=g(y)=-α, but G satisfies Assumption A, so there is a point z∈ (x, y ) such that g(z) ≠-α that is h (z)≠ 0, this shows that the zeros of h are separated. For the second part of the assertion of the lemma, it is clear that each zero of any nontrivial element of *u* is an essential zero, that is because 1∈ *U*.

** Remark 1:** Note that if 1 ∉ U and 0 ∉ f ∈U, f(x)=0, then since G is a Chebyshev space, x is an essential zero for f. Indeed, there is an element g ∈G such that g(x) ≠ 0.

**Theorem**

Let G=(g_{1},… g_{n}) be an n-dimensional Chebyshev subspace of C[a, b] such that 1 ∈ G and U=(u_{0}, u_{1},….,u_{n}) be an (n+1)-dimensional subspace of C[a, b] where u0=1, u_{i}=g_{i}, i=1,…., n. If G satisfies Assumption A, then *U* is a Chebyshev subspace of C[a, b] if and only if it is a Weak Chebyshev subspace of C[a, b].

**Proof:** One direction is trivial.

For the other direction, suppose *U*=(u_{0}, u_{1}, ….. u_{n}) is an (n+1) – dimensional Weak Chesbyshev subspace of C [a, b] where u_{0}=1, u_{i}=g_{i}, I=1, n and G=(g_{1},… g_{n}) is an n-dimensional Chesbyshev subspace of C[a, b] satisfying Assumption A. Let ū be a nontrivial element of *U* such that we

a ≤ x1 <. x_{n+1} ≤ b,

If d>n+1, then by lemma (2) together with theorem (2) we must have , so d ≥ n+1, if d≤ n, then is nothing to prove, so to this end, we will assume that d=n+1 and

again from lemma (2) and theorem (2) we must have a=x_{1} or x_{n+1=}b and for all Writing then α_{0} ≠ 0 that is because G is an n-dimensional Chebyshev subspace of C[a, b].

Taking , then

u(x_{i})=0, I=1,…, n+1

and

u (x) ≠ 0 for all

The rest of the proof is divided into several cases.

** Case A:** a=x

Since G is an n-dimensional Chebyshev subspace of C [a, b], then for any point q ∈ (x_{n}, b) there is a function such that g (y_{i})=1, I=1, ….., n, where y_{i}=x_{i, i=1, ……..n-1} and y_{n}=q.

Taking

Then v is a nontrivial element of *U* with

v (y_{i})=0, i=1,…..n,

a=y_{1} < …..,< y_{n} < b,

and if there is a point such that v(t)=0, then by theorem (2) we must have t=b, hence u and v are two dimensional elements of *U* such that

u (x_{n+1})=v(x_{n+1})=0,

u (x_{i})=v(x_{i})=0, i=1, ….,n-1

And by lemma (1) there is a non-zero constant λ such that u=λ v, this implies that

u (t_{i})=0, I=1, ….n+2

Where t_{i}=x_{i}, i=1,….n, t_{n+1}=y_{n}

And t_{n+2}=x_{n+1}=b

This means that u has at least n+2 separated zeros in[a, b] which implies that u=v ≡ 0 contradicting the fact u and v are nontrivial elements of *U*, hence . It is clear that

u(x) ≠ 0, x∈ (x_{n}, b), u(x_{n})=u(b)=0

and

v (y_{n})=0, y_{n} ∈ (x_{n}, b), v(t)≠ 0 for all t ∈ [ x_{n}, b]\{y_{n}},

and if x ∈ [x_{n}, y_{n}], y ∈ (y_{n}, b) then sign v(x)=-sign v(y), subsequently, We treat four different subcases.

**Case A1:** u (x) < 0 for all x ∈ (x_{n}, b) and v(x) > 0 for all x∈ [x_{n}, y_{n}],

then v(x) <0 for all x ∈ (y_{n}, b], taking w=u–v, we have

w(x_{n})=-v(x_{n}) <0 and w(y_{n})=u(y_{n}) >0

by the continuity of w, there is a point s ∈ (x_{n}, y_{n}) such that w(s)=0,

hence we have:

w(z_{i})=0, i=1,…..n, where z_{i}=x_{i}, I=1,….n-1 and zn=*s*.

But *w* belongs to the n-dimensional Chebyshev subspace G of C [a,b].

Hence *w* ≡ 0 and it follows that u=v and

u(t_{i})=0, I=1, …n +2

Where

t_{i}=x_{i}, I=1, …n,

t_{n+1}=yn and t_{n+2}=x_{n+1}=b

So *u* must be identically zero.

**Case A2:** u(x) > 0 for all x ∈ (x_{n}, b) and v(x) < b0 for all x ∈ [x_{n}, y_{n}], then v(x) <0 for all x∈ [x_{n},y_{n}],

then v(x) > 0 for all x∈ (y_{n}, b], again taking w=u-v, we have

w(y_{n})=u(y_{n}) >0 w(b)=-v (b)<0,

and there is a point *s* ∈ (yn, b], such that *w*(*s*)=0, so w has at least n distinct zeros in [a,b]. A similar argument as in case A1 shows that u must be identically zero.

**Case A3:** u(x)< 0 for all x ∈ (x_{n}, b) and v(x)<0 for all x ∈ [x_{n}, y_{n}),

then v(x) > 0 for all x∈ (y_{n}, b], taking w=u-v, we have

w(y_{n})=-v(x_{n}) > 0 and w (y_{n})=u (y_{n})< 0,

and continuing exactly as in case A1, we conclude that u must be identically zero.

**Case A4:** u(x) < 0 for all x ∈ (x_{n}, b) and v(x) > 0 for all x∈ [x_{n}, y_{n}),

then v(x) <0 for all x∈ (y_{n},b], taking w=u-v, we have

w (y_{n})=u (y_{n}) < 0 and w( b)=-v (b) >0 and an argument similar to that of case A2 shows be identically zero.

**Case B:** a< x_{1} and x_{n+1}=b

As in case A, for any q ∈ (x_{n}, b) there is a function

Such that g(y_{i})=1, I=1,…….,n, where

y_{i}=x_{i}, i=1,…n-1 and y_{n}=q

Taking

Then v is a nontrivial element of *U* with

v(y_{i})=0, I=1, ….n,

a< y_{1}< ……< y_{n}< b

and if there is a point such that v(t)=0,then by theorem (2) we must have t=b or t=a.

If t=b, then u and v are two nontrivial elements of *U* such that

U(x_{n+ 1})=v(x_{n+1})=0,

u(x_{i})=v(x_{i})=0, I=1, …n-1

and by lemma 1 there is a nonzero constant λ such that u=λ v, this implies that

u(t_{i})=0, i=1,….n+ 2

where t_{i}=x_{i}, i=1, …..n,

t_{n+ 1}=y_{n}

and t_{n+2}=x_{n+1}=b

so u has at least n+2 separated zeros in[a, b] which implies that u=v ≡ 0 and this is a contradiction.

so t ≠ b and the situation becomes exactly as in case A, proceedings as in case A we conclude that u must be identically zero.

**Case C:** a=x_{1} and x_{n+1}< b

The proof of this case requires that n ≥ 2 and the proof for n=1 will be given in remark (2).

Now, for any point p ∈ (a,x_{1}) there is a function such that

G(y_{i})=1, i=1,…., n,

Where y_{1}=p and y_{i-1}=x_{i}, i=3,…n+1.

Taking

Then v is a nontrivial element of *U* with

v(y_{i})=0, i=1,….,n,

a < y_{1} < ….. < y_{n} < b,

and if there is a point such that v(t)=0, then by therome (2) we must have t=a or t=b.

If t=a, then u and v are two nontrivial elements of *U* such that

U(x_{1})=v(x_{1})=0, u(x_{i})=0, i=3,….,n+1.

A similar argument to that of the other cases leads to a contradiction.

So t ≠ a and on the interval [a, x_{2}] we have

u(a)=u(x_{2})=0, u(x)≠ 0, x ∈ (a,x_{2})

and

v(y_{1})=0, y_{1} ∈ (a,x_{2}),v(t) ≠ 0 for every t ∈ [a,x_{2}]\{y_{1}}.

If x ∈ [a,y_{1}), y ∈ (y_{1},x_{2}] then sign v(x)=-sign v(y), and as in the other cases we are presented with four different subcases. In each case, a similar argument to that of the cases in A can be used to show that the function u-v in G has at least n zeros which leads to the conclusion that u must be identically zero. Hence *U* is a Chebyshev subspace of C [a,b].

**Remark 2:** The following is the proof for theorem (3) when n=1 which is somehow more direct:

Suppose g is a non constant continuous function on [a,b] such that G=[g] is a Chebyshev subspace of C[a,b] of dimension 1 satisfying Assumption A and U=[1,g] is a subspace of C[a,b] of dimension 2. If *U* is not a Chebyshev subspace, then there is a nontrivial element u=α +βg of *U* such that u(x_{1})=u(x_{2})=0 where a ≤ x_{1} < x_{2} ≤b, clearly α ≠ 0 and β ≠ 0, so .

By lemma (2) there is a point y_{1}, x_{1}< y_{1}< x_{2} such that g(y_{1})=d≠ c.Taking x_{1}= z_{1}, y_{1}=z_{2} and x_{2}=z_{3},then

*a* ≤ *z*_{1} < *z*_{2} < *z*_{3} ≤ *b*

This shows that *U* is not a weak Chebyshev subspace and the theorem is proved.

The followings example illustrates that theorem (3) is not true in general is proved.

**Example 1**

Let

G={g} is a Chebyshev Subspace of C[0,2] of dimension 1, if *U*=(1,g) and ≤ x_{1} < x_{2} ≤ 2, then

That is *U* is a 2-dimensional weak Chebyshev Subspace of C[0,2] but not a Chebyshev Subspace.

If H is n-dimensional subspace of C[a, b], then it is possible that H is a Chebyshev subspace on one of the intervals (a, b] or [a, b) but not on the closed interval [a,b] as illustrated in the following example.

**Example 2**

Let H=(sin x, cos x), it can be easily checked that H is a Chebyshev subspace of dimension 2 on each of the intervals (0,π] of dimension 2.

In next result we give a necessary and sufficient condition for an ndimensional Chebyshev H on (a,b] or [a,b) to be a chebyshev subspace on the closed interval [a,b].

**Theorem**

Let H be an n-dimensional subspace of C [a, b] such that H is a Chebyshev subspace on (a,b] or on [a,b), then H is a Chebyshev subspace on [a, b] if and only if each function hi, I=1,…n can have at most n-1 distinct zeros on [a,b] whenever H=[h_{1},…h_{n}].

Proof: If (h_{1},…h_{n}) is a basis of H such that for some *s* ∈ {1,…n},h* _{s}* has at least n zeros on [a, b],then clearly H is not a Chebyshev Subspace on [a,b].For the other direction, suppose H is Chebyshev subspace on.

I=(a, b] but not on [a, b], there is a non-trivial element u ∈ *U* such that

u(z_{1})≠ 0, u (z_{i})=0, i=2, …n.

Since H is a Chebyshev subspace on (a, b], there is a subset E={h_{1},…. h_{n}} and H such that

The elements of E are linearly independent and H={h_{1},….h_{2}},write

Then

0 ≠ u (z_{1})=a_{1}h_{1}(z_{1})=a_{1},

0=u (z_{i})=a_{i}h_{i}(z_{i})=a_{i}, I=2, ……n,

Hence which has n zeros on [a, b] and this is a contradiction.

Using a similar argument when *I*=[a, b) leads to a contradiction and the theorem is proved.

- Cheney EW (1966) Introduction to Approximation Theory. McGraw-Hill.
- Haverkamp R, Zielke R (1980) On the Embedding Problem for Cebysev Systems. Journal of Approximation Theory. 30: 155-156.
- Karlin S, StuddenW (1966) Tchebyche Systems: with Applications in Analysis and Statistics. Interscience.
- Mansour Alyazidi-Asiry (2016) Adjoining a Constant Function to N-Dimensional Chebyshev Space. Journal of Function Spaces, p: 3.
- Nurnberger G. (1989) Approximation by Spline Functions. Springer-Verlag Berlin Heidelberg.
- Stockenberg S (1977) On the Number of Zeros of Functions in a Weak Tchebyshev-Space. Mathematische Zeitschrift, 156: 49-57.
- Zalik RA (1975) Existence of Tchebyche Extension. Journal of Mathematical Analysis and Application,51: 68-75.
- Zielke R (1979) Discontinuous Cebysev Systems" Lecture Notes in Mathematics No 707. Springer-Verlag Berlin Heidelberg .

Select your language of interest to view the total content in your interested language

- Adomian Decomposition Method
- Algebraic Geometry
- Analytical Geometry
- Applied Mathematics
- Axioms
- Balance Law
- Behaviometrics
- Big Data Analytics
- Binary and Non-normal Continuous Data
- Binomial Regression
- Biometrics
- Biostatistics methods
- Clinical Trail
- Complex Analysis
- Computational Model
- Convection Diffusion Equations
- Cross-Covariance and Cross-Correlation
- Differential Equations
- Differential Transform Method
- Fourier Analysis
- Fuzzy Boundary Value
- Fuzzy Environments
- Fuzzy Quasi-Metric Space
- Genetic Linkage
- Hamilton Mechanics
- Hypothesis Testing
- Integrated Analysis
- Integration
- Large-scale Survey Data
- Matrix
- Microarray Studies
- Mixed Initial-boundary Value
- Molecular Modelling
- Multivariate-Normal Model
- Noether's theorem
- Non rigid Image Registration
- Nonlinear Differential Equations
- Number Theory
- Numerical Solutions
- Physical Mathematics
- Quantum Mechanics
- Quantum electrodynamics
- Quasilinear Hyperbolic Systems
- Regressions
- Relativity
- Riemannian Geometry
- Robust Method
- Semi Analytical-Solution
- Sensitivity Analysis
- Smooth Complexities
- Soft biometrics
- Spatial Gaussian Markov Random Fields
- Statistical Methods
- Theoretical Physics
- Theory of Mathematical Modeling
- Three Dimensional Steady State
- Topology
- mirror symmetry
- vector bundle

- Total views:
**970** - [From(publication date):

July-2017 - Dec 08, 2019] - Breakdown by view type
- HTML page views :
**884** - PDF downloads :
**86**

**Make the best use of Scientific Research and information from our 700 + peer reviewed, Open Access Journals**

International Conferences 2019-20