<p>Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\((X,+)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo>,</mo> <mo>+</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> be a group and <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\((Y,+)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>Y</mi> <mo>,</mo> <mo>+</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> be a commutative monoid. We prove that the Cauchy nucleus of a set-valued map <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(F:X\rightarrow 2^Y\setminus \{\emptyset \},\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>F</mi> <mo>:</mo> <mi>X</mi> <mo stretchy="false">→</mo> <msup> <mn>2</mn> <mi>Y</mi> </msup> <mo lspace="0.15em" rspace="0.15em" stretchy="false">\</mo> <mrow> <mo stretchy="false">{</mo> <mi mathvariant="normal">∅</mi> <mo stretchy="false">}</mo> </mrow> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> i.e. the set <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\{y\in X:\,F(x+y)=_KF(x)+F(y)\;\text{ for } \text{ every }\;x\in X\},\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">{</mo> <mi>y</mi> <mo>∈</mo> <mi>X</mi> <mo>:</mo> <mspace width="0.166667em" /> <mi>F</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>+</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> <msub> <mo>=</mo> <mi>K</mi> </msub> <mi>F</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> <mi>F</mi> <mrow> <mo stretchy="false">(</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> <mspace width="0.277778em" /> <mspace width="0.333333em" /> <mtext>for</mtext> <mspace width="0.333333em" /> <mspace width="0.333333em" /> <mtext>every</mtext> <mspace width="0.333333em" /> <mspace width="0.277778em" /> <mi>x</mi> <mo>∈</mo> <mi>X</mi> <mo stretchy="false">}</mo> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> is a subgroup of <i>X</i> provided it is nonempty, and that every subgroup of <i>X</i> is the Cauchy nucleus of a set-valued map <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(F:X\rightarrow 2^Y\setminus \{\emptyset \}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>F</mi> <mo>:</mo> <mi>X</mi> <mo stretchy="false">→</mo> <msup> <mn>2</mn> <mi>Y</mi> </msup> <mo lspace="0.15em" rspace="0.15em" stretchy="false">\</mo> <mrow> <mo stretchy="false">{</mo> <mi mathvariant="normal">∅</mi> <mo stretchy="false">}</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. We apply these results to characterize solutions of a&#xa0;partially Pexiderized Cauchy equation <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(F(x+y)=_KF(x)+G(y)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>F</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>+</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> <msub> <mo>=</mo> <mi>K</mi> </msub> <mi>F</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> <mi>G</mi> <mrow> <mo stretchy="false">(</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> for every <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\((x,y)\in X\times S\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo stretchy="false">)</mo> <mo>∈</mo> <mi>X</mi> <mo>×</mo> <mi>S</mi> </mrow> </math></EquationSource> </InlineEquation>, and also solutions of this equation satisfied almost everywhere (in the sense of an ideal) in <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(X\times S\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>X</mi> <mo>×</mo> <mi>S</mi> </mrow> </math></EquationSource> </InlineEquation>, provided <i>S</i> is a subgroup of <i>X</i>.</p>

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

K-additive set-valued maps on a cylinder

  • Eliza Jabłońska,
  • Wojciech Jabłoński

摘要

Let \((X,+)\) ( X , + ) be a group and \((Y,+)\) ( Y , + ) be a commutative monoid. We prove that the Cauchy nucleus of a set-valued map \(F:X\rightarrow 2^Y\setminus \{\emptyset \},\) F : X 2 Y \ { } , i.e. the set \(\{y\in X:\,F(x+y)=_KF(x)+F(y)\;\text{ for } \text{ every }\;x\in X\},\) { y X : F ( x + y ) = K F ( x ) + F ( y ) for every x X } , is a subgroup of X provided it is nonempty, and that every subgroup of X is the Cauchy nucleus of a set-valued map \(F:X\rightarrow 2^Y\setminus \{\emptyset \}\) F : X 2 Y \ { } . We apply these results to characterize solutions of a partially Pexiderized Cauchy equation \(F(x+y)=_KF(x)+G(y)\) F ( x + y ) = K F ( x ) + G ( y ) for every \((x,y)\in X\times S\) ( x , y ) X × S , and also solutions of this equation satisfied almost everywhere (in the sense of an ideal) in \(X\times S\) X × S , provided S is a subgroup of X.