• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제5권1호
• /
• pp.65-72
• /
• 1998

We investigate a chain of properties of real function algebras along the analogous proofs of the complex cases such as the fact that any real function algebra which is both maximal and essential is pervasive. And some properties of real function algebras with a vertex property will be discussed.

• 대한수학회논문집
• /
• 제9권2호
• /
• pp.299-302
• /
• 1994

Throughout this paper, let X be a compact Hausdorff space, and let C(X) (resp. $C_{R}$ /(X)) be the complex (resp. real) Banach algebra of all continuous complex-valued (resp. real-valued) functions on X with the pointwise operations and the supremum norm x. A Banach function algebra on X is a Banach algebra lying in C(X) which separates the points of X and contains the constants. A Banach function algebra on X equipped with the supremum norm is called a uniform algebra on X, that is, a uniformly closed subalgebra of C(X) which separates the points of X and contains the constants.(omitted)

• 대한수학회보
• /
• 제30권1호
• /
• pp.125-134
• /
• 1993

Let X be a compact Hausdorff space, and let C(X) (resp. $C_{R}$(X)) be the complex (resp. real) Banach algebra of all continuous complex-valued(resp. real-valued) functions on X with the pointwise operations and the supremum norm x. A Banach function algebra on X is a Banach algebra lying in C(X) which separates the points of X and contains the constants. A Banach function algebra on X equipped with the supremum norm is called a uniform algebra on X, that is, a uniformly closed subalgebra of C(X) which separates the points of X and contains the constants.s.

• 충청수학회지
• /
• 제33권4호
• /
• pp.497-504
• /
• 2020

A weight ω on the positive half real line [0, ∞) is a positive continuous function such that ω(s + t) ≤ ω(s)ω(t), for all s, t ∈ [0, ∞), and ω(0) = 1. The weighted convolution Banach algebra L1(ω) is the algebra of all equivalence classes of Lebesgue measurable functions f such that ‖f‖ = ∫0∞|f(t)|ω(t)dt < ∞, under pointwise addition, scalar multiplication of functions, and the convolution product (f ⁎ g)(t) = ∫0t f(t - s)g(s)ds. We give a sufficient condition on a weight function ω(t) in order that L1(ω) has a bounded approximate identity.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제11권2호
• /
• pp.149-154
• /
• 2004

We show that the Choquet boundary of the tensor product of two real function algebras is the product of their Choquet boundaries.

• 대한수학회지
• /
• 제56권5호
• /
• pp.1333-1354
• /
• 2019

In authors' paper in 2007, it was shown that the BSE-extension of $C^1_0(R)$, the algebra of continuously differentiable functions f on the real number space R such that f and df /dx vanish at infinity, is the Lipschitz algebra $Lip_1(R)$. This paper extends this result to the case of $C^n_0(R^d)$ and $C^{n-1,1}_b(R^d)$, where n and d represent arbitrary natural numbers. Here $C^n_0(R^d)$ is the space of all n-times continuously differentiable functions f on $R^d$ whose k-times derivatives are vanishing at infinity for k = 0, ${\cdots}$, n, and $C^{n-1,1}_b(R^d)$ is the space of all (n - 1)-times continuously differentiable functions on $R^d$ whose k-times derivatives are bounded for k = 0, ${\cdots}$, n - 1, and (n - 1)-times derivatives are Lipschitz. As a byproduct of our investigation we obtain an important result that $C^{n-1,1}_b(R^d)$ has a predual.

• 대한수학회논문집
• /
• 제24권3호
• /
• pp.361-366
• /
• 2009

In this paper we consider constructive function triples on the real numbers $\mathbb{R}$ and on (not necessarily commutative) integral domains D which permit the construction of a multitude of d-algebras via these constructive function triples. At the same time these constructions permit one to consider various conditions on these d-algebras for subsets of solutions of various equations, thereby producing geometric problems and interesting visualizations of some of these subsets of solutions. In particular, one may consider what notions such as "locally BCK" ought to mean, certainly in the setting provided below.

• Korean Journal of Mathematics
• /
• 제32권3호
• /
• pp.533-544
• /
• 2024

Given a groupoid (X, *) and a real-valued function d : X → R, a new (derived) function Φ(X, *)(d) is defined as [Φ(X, *)(d)](x, y) := d(x * y) + d(y * x) and thus Φ(X, *) : R^X → R^X2 as well, where R is the set of real numbers. The mapping Φ(X, *) is an R-linear transformation also. Properties of groupoids (X, *), functions d : X → R, and linear transformations Φ(X, *) interact in interesting ways as explored in this paper. Because of the great number of such possible interactions the results obtained are of necessity limited. Nevertheless, interesting results are obtained. E.g., if (X, *, 0) is a groupoid such that x * y = 0 = y * x if and only if x = y, which includes the class of all d/BCK-algebras, then (X, *) is *-metrizable, i.e., Φ(X, *)(d) : X² → X is a metric on X for some d : X → R.

• Kyungpook Mathematical Journal
• /
• 제55권4호
• /
• pp.859-870
• /
• 2015

The notion of quasi-valuation maps based on a subalgebra and an ideal in BCK/BCI-algebras is introduced, and then several properties are investigated. Relations between a quasi-valuation map based on a subalgebra and a quasi-valuation map based on an ideal is established. In a BCI-algebra, a condition for a quasi-valuation map based on an ideal to be a quasi-valuation map based on a subalgebra is provided, and conditions for a real-valued function on a BCK/BCI-algebra to be a quasi-valuation map based on an ideal are discussed. Using the notion of a quasi-valuation map based on an ideal, (pseudo) metric spaces are constructed, and we show that the binary operation * in BCK-algebras is uniformly continuous.

• 대한수학회보
• /
• 제26권1호
• /
• pp.11-17
• /
• 1989

In [1], Johnson and Lapidus introduced a family { $A_{t}$ :t>0} of Banach algebras of functionals on Wiener space and showed that for every F in $A_{t}$ , the analytic operator-valued function space integral $K_{\lambda}$$^{t}$ (F) exists for all nonzero complex numbers .lambda. with nonnegative real part. In [2,3] Johnson and Lapidus introduced a noncommtative multiplication having the property that if F.mem. $A_{t}$ $_{1}$ and G.mem. $A_{t}$ $_{2}$ then $F^{*}$G.mem. A$t_{1}$+$_{t}$ $_{2}$ and (Fig.) Note that for F, G in $A_{t}$ , $F^{*}$G is not in $A_{t}$ but rather is in $A_{2t}$ and so the multiplication * is not internal to the Banach algebra $A_{t}$ . In this paper we introduce an internal noncommutative multiplication on $A_{t}$ having the property that for F, G in $A_{t}$ , F G is in $A_{t}$ and (Fig.) for all nonzero .lambda. with nonnegative real part. Thus is an auxiliary binary operator on $A_{t}$ .TEX> .