Normed Space

14,000,000 Leading Edge Experts on the ideXlab platform

Scan Science and Technology

Contact Leading Edge Experts & Companies

Scan Science and Technology

Contact Leading Edge Experts & Companies

The Experts below are selected from a list of 12957 Experts worldwide ranked by ideXlab platform

Binod Chandra Tripathy - One of the best experts on this subject based on the ideXlab platform.

Ekrem Savas - One of the best experts on this subject based on the ideXlab platform.

Metin Basarir - One of the best experts on this subject based on the ideXlab platform.

Yasunari Shidama - One of the best experts on this subject based on the ideXlab platform.

  • topological properties of real Normed Space
    Formalized Mathematics, 2014
    Co-Authors: Kazuhisa Nakasho, Yuichi Futa, Yasunari Shidama
    Abstract:

    Summary. In this article, we formalize topological properties of real Normed Spaces. In the first part, open and closed, density, separability and sequence and its convergence are discussed. Then we argue properties of real Normed subSpace. Then we discuss linear functions between real Normed speces. Several kinds of subSpaces induced by linear functions such as kernel, image and inverse image are considered here. The fact that Lipschitz continuity operators preserve convergence of sequences is also refered here. Then we argue the condition when real Normed subSpaces become Banach’s Spaces. We also formalize quotient vector Space. In the last session, we argue the properties of the closure of real Normed Space. These formalizations are based on [19](p.3-41), [2] and [34](p.3-67). MSC: 46B20 46A19 03B35

  • riemann integral of functions from r into real Normed Space
    Formalized Mathematics, 2011
    Co-Authors: Keiichi Miyajima, Takahiro Kato, Yasunari Shidama
    Abstract:

    Let X be a real Normed Space, let A be a closed-interval subset of R, let f be a function from A into the carrier of X, and let D be a Division of A. A finite sequence of elements of X is said to be a middle volume of f and D if it satisfies the conditions (Def. 1). (Def. 1)(i) len it = lenD, and (ii) for every natural number i such that i ∈ domD there exists a point c of X such that c ∈ rng(f divset(D, i)) and it(i) = vol(divset(D, i)) · c.

  • baire s category theorem and some Spaces generated from real Normed Space 1
    Formalized Mathematics, 2006
    Co-Authors: Noboru Endou, Yasunari Shidama, Katsumasa Okamura
    Abstract:

    Summary. 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 generated from real Normed Space.

Soumitra Nath - One of the best experts on this subject based on the ideXlab platform.