A sequence {vj} is said to be Cauchy if for each > 0, there exists a natural number N such that ‖vj−vk‖ < for all j, k ≥ N . Every convergent sequence is Cauchy, but there are many examples of normed linear spaces V for which there exists non-convergent Cauchy sequences. One such example is the set of rational numbers Q. The sequence (1.4, 1.41, 1.414, . . . ) converges to √ 2 which is not a ra...

In [6], the second author proved general metatheorems for the extraction of effective uniform bounds from ineffective existence proofs in functional analysis, more precisely from proofs in classical analysis A(:= weakly extensional Peano arithmetic WE-PA in all finite types + quantitifer-free choice + the axiom schema of dependent choice DC) extended with (variants of) abstract bounded metric s...

We study computability on sequence spaces, as they are used in functional analysis. It is known that non-separable normed spaces cannot be admissibly represented on Turing machines. We prove that under the Axiom of Choice non-separable normed spaces cannot even be admissibly represented with respect to any compatible topology (a compatible topology is one which makes all bounded linear function...

Let BY denote the unit ball of a normed linear space Y . A symmetric, bounded, closed, convex set A in a finite dimensional normed linear space X is called a sufficient enlargement for X if, for an arbitrary isometric embedding of X into a Banach space Y , there exists a linear projection P : Y → X such that P (BY ) ⊂ A. Each finite dimensional normed space has a minimal-volume sufficient enlar...

As application of complete metric space, we proved a Baire’s category theorem. Then we defined some spaces generated from real normed space and discussed each of them. In the second section, we showed the equivalence of convergence and the continuity of a function. In other sections, we showed some topological properties of two spaces, which are topological space and linear topological space ge...

A space T is called a linear topological space if (1) T forms a linear f space under operations x+y and ax, where x,yeT and a is a real number, (2) T is a Hausdorff topological space,J (3) the fundamental operations x+y and ax are continuous with respect to the Hausdorff topology. The study § of such spaces was begun by A. Kolmogoroff (cf. [4]. Kolmogoroff's definition of a linear topological s...

in this paper, following the methods of connor, we introduce some new generalized double difference sequencespaces using summability with respect to a two valued measure, double infinite matrix and an orlicz function in 2-normed spaces which have unique non-linear structure and examine some of their properties.

in this paper we obtain a necessary and a sufficient condition for the set of ω_0-nearest points ( ω_0-farthest points) to be non-empty or a singleton set in normed linear spaces. we shall find a necessary and a sufficient condition for an uniquely remotal set to be a singleton set.

Some sharp discrete inequalities in normed linear spaces are obtained. New reverses of the generalised triangle inequality are also given.

In this paper, we report the progress of our work on the development of a library on linear operators within the Mizar project. The definitions of concepts including normed linear spaces of bounded linear operators and completeness of such spaces are contained in this library.