Quasisums and generalized associativity (Q1774136): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Import241208061232 (talk | contribs)
Normalize DOI.
 
(3 intermediate revisions by 3 users not shown)
Property / DOI
 
Property / DOI: 10.1007/s00010-004-2740-z / rank
Normal rank
 
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/s00010-004-2740-z / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2042067097 / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1007/S00010-004-2740-Z / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 10:28, 11 December 2024

scientific article
Language Label Description Also known as
English
Quasisums and generalized associativity
scientific article

    Statements

    Quasisums and generalized associativity (English)
    0 references
    0 references
    29 April 2005
    0 references
    The generalized associativity equation \[ F(G(x,y),z)=H(x,K(y,z)) \tag{GA} \] has been studied by several authors in various settings. In particular Aczél, Belousov and Hosszú solved (GA) on quasigroups. Due to quasigroup techniques surjectivity assumptions were made. The author of the present paper already studied (GA) with the aim of eliminating surjectivity conditions. In the paper under review he presents a possible way to find the solutions of (GA) that are continuous and strictly monotone in each variable. A real--valued function is called a \(CM\) function if it is defined on a real interval or on a rectangle in the real plane (with sides parallel to the axes) and it is continuous and strictly monotone in each variable. The main result of the paper is the following: Theorem: Let \(X\), \(Y\) and \(Z\) be intervals, \(G:X \times Y \to \mathbb R\), \(K:Y \times Z \to \mathbb R\), \(F:G(X,Y) \times Z \to \mathbb R\) and \(H:X \times K(Y,Z) \to \mathbb R\) be \(CM\) functions. Then the generalized associativity equation \[ F(G(x,y),z)=H(x,K(y,z)) \tag{GA} \] holds for all \((x,y,z) \in X \times Y \times Z\), if and only if there exist \(CM\) functions \(\alpha:X \to \mathbb R\), \(\beta:Y \to \mathbb R\), \(\gamma:Z \to \mathbb R\), \(\delta_1:\alpha(X)+\beta(Y) \to \mathbb R\), \(\delta_2:\beta(Y)+\gamma(Z) \to \mathbb R\) and \(\phi:\alpha(X)+\beta(Y)+\gamma(Z) \to \mathbb R\) such that \[ \begin{aligned} F(\xi,z)&=\phi(\delta_1^{-1}(\xi)+\gamma(z)),\\ G(x,y)&=\delta_1(\alpha(x)+\beta(y)),\\ H(x,\eta)&=\phi(\alpha(x)+\delta_2^{-1}(\eta)),\\ K(y,z)&=\delta_2(\beta(y)+\gamma(z)),\\ \end{aligned} \] hold for all \(x \in X\), \(y \in Y\), \(z \in Z\), \(\xi \in G(X,Y)\) and \(\eta \in K(Y,Z)\).
    0 references
    quasisum
    0 references
    generalized associativity
    0 references
    continuous solution
    0 references
    monotone solution
    0 references
    generalized associativity equation
    0 references

    Identifiers