<p>Let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10_2025_1173_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="44" /> </InlineMediaObject> <EquationSource Format="TEX">\(I\subset \mathbb {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>I</mi> <mo>⊂</mo> <mi mathvariant="double-struck">R</mi> </mrow> </math></EquationSource> </InlineEquation> be an interval. A function <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10_2025_1173_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="86" /> </InlineMediaObject> <EquationSource Format="TEX">\(M:I^{2}\rightarrow I\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>M</mi> <mo>:</mo> <msup> <mi>I</mi> <mn>2</mn> </msup> <mo stretchy="false">→</mo> <mi>I</mi> </mrow> </math></EquationSource> </InlineEquation> is said to be <i>weakly associative</i>, if <Equation ID="Equ20"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="10_2025_1173_Article_Equ20.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="349" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} M\left( M\left( x,y\right) ,x\right) =M\left( x,M\left( y,x\right) \right) , \qquad x,y\in I. \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mi>M</mi> <mfenced close=")" open="("> <mi>M</mi> <mfenced close=")" open="("> <mi>x</mi> <mo>,</mo> <mi>y</mi> </mfenced> <mo>,</mo> <mi>x</mi> </mfenced> <mo>=</mo> <mi>M</mi> <mfenced close=")" open="("> <mi>x</mi> <mo>,</mo> <mi>M</mi> <mfenced close=")" open="("> <mi>y</mi> <mo>,</mo> <mi>x</mi> </mfenced> </mfenced> <mo>,</mo> <mspace width="2em" /> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo>∈</mo> <mi>I</mi> <mo>.</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>One can easily check that every weighted quasi-arithmetic mean, i.e. a&#xa0;function <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10_2025_1173_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="86" /> </InlineMediaObject> <EquationSource Format="TEX">\(M:I^{2}\rightarrow I\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>M</mi> <mo>:</mo> <msup> <mi>I</mi> <mn>2</mn> </msup> <mo stretchy="false">→</mo> <mi>I</mi> </mrow> </math></EquationSource> </InlineEquation> given by <Equation ID="Equ21"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="10_2025_1173_Article_Equ21.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="281" /> </MediaObject> <EquationSource Format="TEX">\( M\left( x,y\right) =f^{-1}\left( pf\left( x\right) +\left( 1-p\right) f\left( y\right) \right) , \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mi>M</mi> <mfenced close=")" open="("> <mi>x</mi> <mo>,</mo> <mi>y</mi> </mfenced> <mo>=</mo> <msup> <mi>f</mi> <mrow> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mfenced close=")" open="("> <mi>p</mi> <mi>f</mi> <mfenced close=")" open="("> <mi>x</mi> </mfenced> <mo>+</mo> <mfenced close=")" open="("> <mn>1</mn> <mo>-</mo> <mi>p</mi> </mfenced> <mi>f</mi> <mfenced close=")" open="("> <mi>y</mi> </mfenced> </mfenced> <mo>,</mo> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10_2025_1173_Article_IEq4.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="73" /> </InlineMediaObject> <EquationSource Format="TEX">\(f:I\rightarrow \mathbb {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>:</mo> <mi>I</mi> <mo stretchy="false">→</mo> <mi mathvariant="double-struck">R</mi> </mrow> </math></EquationSource> </InlineEquation> is a continuous and strictly monotonic function and <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10_2025_1173_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="64" /> </InlineMediaObject> <EquationSource Format="TEX">\(p\in \left[ 0,1\right] \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>∈</mo> <mfenced close="]" open="["> <mn>0</mn> <mo>,</mo> <mn>1</mn> </mfenced> </mrow> </math></EquationSource> </InlineEquation>, satisfies the above condition, so it is weakly associative. We give the characterization of weakly associative functions in the class of some generalized weighted quasi-arithmetic means. Moreover, we characterize premeans which are rational functions of degree at most 2 and weakly associative.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Weakly associative functions

  • Dorota Głazowska,
  • Janusz Matkowski

摘要

Let \(I\subset \mathbb {R}\) I R be an interval. A function \(M:I^{2}\rightarrow I\) M : I 2 I is said to be weakly associative, if \(\begin{aligned} M\left( M\left( x,y\right) ,x\right) =M\left( x,M\left( y,x\right) \right) , \qquad x,y\in I. \end{aligned}\) M M x , y , x = M x , M y , x , x , y I . One can easily check that every weighted quasi-arithmetic mean, i.e. a function \(M:I^{2}\rightarrow I\) M : I 2 I given by \( M\left( x,y\right) =f^{-1}\left( pf\left( x\right) +\left( 1-p\right) f\left( y\right) \right) , \) M x , y = f - 1 p f x + 1 - p f y , where \(f:I\rightarrow \mathbb {R}\) f : I R is a continuous and strictly monotonic function and \(p\in \left[ 0,1\right] \) p 0 , 1 , satisfies the above condition, so it is weakly associative. We give the characterization of weakly associative functions in the class of some generalized weighted quasi-arithmetic means. Moreover, we characterize premeans which are rational functions of degree at most 2 and weakly associative.