نتایج جستجو برای: real valued continuous functions and integer valued continuous functions on frames

تعداد نتایج: 18641392  

2013
G. J. ZALMAI

subject to Gj(x, t) ≤ 0 for all t ∈ Tj , j ∈ q, Hk(x, s) = 0 for all s ∈ Sk, k ∈ r, x ∈ X, where q and r are positive integers, X is a nonempty open convex subset of Rn (n-dimensional Euclidean space), for each j ∈ q ≡ {1, 2, . . . , q} and k ∈ r, Tj and Sk are compact subsets of complete metric spaces, f and g are real-valued functions defined on X, for each j ∈ q, z → Gj(z, t) is a real-value...

In this paper a particular case of z-ideals, called strongly z-ideal, is defined by introducing zero sets in pointfree topology. We study strongly z-ideals, their relation with z-ideals and the role of spatiality in this relation. For strongly z-ideals, we analyze prime ideals using the concept of zero sets. Moreover, it is proven that the intersection of all zero sets of a prime ideal of C(L),...

Journal: :Formalized Mathematics 2010
Katuhiko Kanazashi Noboru Endou Yasunari Shidama

In this article, we give a definition of a functional space which is constructed from all continuous functions defined on a compact topological space. We prove that this functional space is a Banach algebra. Next, we give a definition of a function space which is constructed from all real-valued continuous functions with bounded support. We prove that this function space is a real normed space.

Journal: :Logical Methods in Computer Science 2008
Neil Ghani Peter Hancock Dirk Pattinson

We define representations of continuous functions on infinite streams of discrete values, both in the case of discrete-valued functions, and in the case of stream-valued functions. We define also an operation on the representations of two continuous functions between streams that yields a representation of their composite. In the case of discrete-valued functions, the representatives are well-f...

Journal: :Proceedings of the American Mathematical Society 1996

Journal: :Proceedings of the National Academy of Sciences 1967

2004
ITARU MITOMA

Let Sf be the Schwartz space of all rapidly decreasing functions on R, Sf be the topological dual space of Sf and for each positive integer p,Sfp be the space of all elements of £f' which are continuous in the p-th norm defining the nuclear Frechet topology of Sf. The main purpose of the present paper is to show that if {Xtί t e [0, + oo)} is an ^'-valued Gaussian process and for any fixed φβ^ ...

Journal: :Revista De La Real Academia De Ciencias Exactas Fisicas Y Naturales Serie A-matematicas 2022

A topological space X is Baire if the intersection of any sequence open dense subsets in X. Let $$C_p(X,[0,1])$$ denote all continuous [0, 1]-valued functions on a Tychonoff with topology pointwise convergence. In this paper, we have obtained characterization for function to be separable closed which are $$C^*$$ -embedded. particular, holds normal spaces and, hence, metrizable spaces. Moreover,...

Journal: :Journal of Mathematical Analysis and Applications 2001

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید