Name for a function whose effect is canceled by another function?What is the name for a function of a matrix that changes the matrix size?Name for a set of pairs of elements that equalise two functions?Is there a name for the function of a semicircle?What do we call a “function” which is not defined on part of its domain?Is there a name for this function with properties…Is there a name for the function $e^-lvertlog xrvert$?Another name for the trivial model structureIs there a term for this basic effect?Is there a standard name for functions whose fibers are finite on every element in their image?name for a function that composes additively

Large-n limit of the distribution of the normalized sum of Cauchy random variables

How "fast" do astronomical events occur?

Are there any individual aliens that have gained superpowers in the Marvel universe?

sudo passwd username keeps asking for the current password

How do you transpose samples in cents?

How to compute the inverse of an operation in Q#?

How can I ping multiple IP addresses at the same time?

How can I restore a master database from its bak file?

I just entered the USA without passport control at Atlanta airport

How would one carboxylate CBG into its acid form, CBGA?

"Correct me if I'm wrong"

Freewill and rewarding dogs

Why is Havana covered in 5-digit numbers in Our Man in Havana?

How can I prevent a user from copying files on another hard drive?

Leaving job close to major deadlines

Draw a symmetric alien head

How to sort human readable size

What is this airplane that sits in front of Barringer High School in Newark, NJ?

My student in one course asks for paid tutoring in another course. Appropriate?

Are there examples of rowers who also fought?

How did Frodo know where the Bree village was?

Is Newton's third law really correct?

Math symbols in math operators

First occurrence in the Sixers sequence



Name for a function whose effect is canceled by another function?


What is the name for a function of a matrix that changes the matrix size?Name for a set of pairs of elements that equalise two functions?Is there a name for the function of a semicircle?What do we call a “function” which is not defined on part of its domain?Is there a name for this function with properties…Is there a name for the function $e^-lvertlog xrvert$?Another name for the trivial model structureIs there a term for this basic effect?Is there a standard name for functions whose fibers are finite on every element in their image?name for a function that composes additively













7












$begingroup$


I've been saying function $f$ "eclipses" $g$ if $f(g(x)) = f(x)$ for all $x$. For example, if $f(x) = lvert x rvert$ and $g(x) = -x$, then $f$ eclipses $g$.



Is there an established word for this property?










share|cite|improve this question









$endgroup$







  • 2




    $begingroup$
    Don't know that there is one. "Eclipse" is as good a candidate for a name as any....
    $endgroup$
    – fleablood
    8 hours ago










  • $begingroup$
    This is loosely related to the concept of en.wikipedia.org/wiki/Coequalizer, so maybe one could call $f$ "co-equalizing $g$ and the identity"
    $endgroup$
    – Hagen von Eitzen
    8 hours ago
















7












$begingroup$


I've been saying function $f$ "eclipses" $g$ if $f(g(x)) = f(x)$ for all $x$. For example, if $f(x) = lvert x rvert$ and $g(x) = -x$, then $f$ eclipses $g$.



Is there an established word for this property?










share|cite|improve this question









$endgroup$







  • 2




    $begingroup$
    Don't know that there is one. "Eclipse" is as good a candidate for a name as any....
    $endgroup$
    – fleablood
    8 hours ago










  • $begingroup$
    This is loosely related to the concept of en.wikipedia.org/wiki/Coequalizer, so maybe one could call $f$ "co-equalizing $g$ and the identity"
    $endgroup$
    – Hagen von Eitzen
    8 hours ago














7












7








7





$begingroup$


I've been saying function $f$ "eclipses" $g$ if $f(g(x)) = f(x)$ for all $x$. For example, if $f(x) = lvert x rvert$ and $g(x) = -x$, then $f$ eclipses $g$.



Is there an established word for this property?










share|cite|improve this question









$endgroup$




I've been saying function $f$ "eclipses" $g$ if $f(g(x)) = f(x)$ for all $x$. For example, if $f(x) = lvert x rvert$ and $g(x) = -x$, then $f$ eclipses $g$.



Is there an established word for this property?







functions terminology






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked 8 hours ago









DoradusDoradus

1836




1836







  • 2




    $begingroup$
    Don't know that there is one. "Eclipse" is as good a candidate for a name as any....
    $endgroup$
    – fleablood
    8 hours ago










  • $begingroup$
    This is loosely related to the concept of en.wikipedia.org/wiki/Coequalizer, so maybe one could call $f$ "co-equalizing $g$ and the identity"
    $endgroup$
    – Hagen von Eitzen
    8 hours ago













  • 2




    $begingroup$
    Don't know that there is one. "Eclipse" is as good a candidate for a name as any....
    $endgroup$
    – fleablood
    8 hours ago










  • $begingroup$
    This is loosely related to the concept of en.wikipedia.org/wiki/Coequalizer, so maybe one could call $f$ "co-equalizing $g$ and the identity"
    $endgroup$
    – Hagen von Eitzen
    8 hours ago








2




2




$begingroup$
Don't know that there is one. "Eclipse" is as good a candidate for a name as any....
$endgroup$
– fleablood
8 hours ago




$begingroup$
Don't know that there is one. "Eclipse" is as good a candidate for a name as any....
$endgroup$
– fleablood
8 hours ago












$begingroup$
This is loosely related to the concept of en.wikipedia.org/wiki/Coequalizer, so maybe one could call $f$ "co-equalizing $g$ and the identity"
$endgroup$
– Hagen von Eitzen
8 hours ago





$begingroup$
This is loosely related to the concept of en.wikipedia.org/wiki/Coequalizer, so maybe one could call $f$ "co-equalizing $g$ and the identity"
$endgroup$
– Hagen von Eitzen
8 hours ago











1 Answer
1






active

oldest

votes


















7












$begingroup$

I would express this as "$f$ is invariant under $g$" or "$f$ is $g$-invariant", because of the analogy with group actions:



Compare this with: If $G$ is a group acting linearly on a vector space $V$, it induces an action on the dual $V^*$ by letting $g*f = f circ g$. If $g*f = f$ for all $g in G$, we would say $f$ is $G$-invariant.



Now, if $f : X to Y$ and $g : X to X$, then $g$ determines a monoid action of $mathbb N$ on $X$ by letting $n$ act by $g_n = g circ cdots circ g$. The monoid action induces a monoid action on the set of functions $X to Y$, by letting $n*f = f circ g_n$. A function $f$ is invariant under this monoid action iff $f circ g = f$.






share|cite|improve this answer











$endgroup$













    Your Answer








    StackExchange.ready(function()
    var channelOptions =
    tags: "".split(" "),
    id: "69"
    ;
    initTagRenderer("".split(" "), "".split(" "), channelOptions);

    StackExchange.using("externalEditor", function()
    // Have to fire editor after snippets, if snippets enabled
    if (StackExchange.settings.snippets.snippetsEnabled)
    StackExchange.using("snippets", function()
    createEditor();
    );

    else
    createEditor();

    );

    function createEditor()
    StackExchange.prepareEditor(
    heartbeatType: 'answer',
    autoActivateHeartbeat: false,
    convertImagesToLinks: true,
    noModals: true,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: 10,
    bindNavPrevention: true,
    postfix: "",
    imageUploader:
    brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
    contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
    allowUrls: true
    ,
    noCode: true, onDemand: true,
    discardSelector: ".discard-answer"
    ,immediatelyShowMarkdownHelp:true
    );



    );













    draft saved

    draft discarded


















    StackExchange.ready(
    function ()
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3264480%2fname-for-a-function-whose-effect-is-canceled-by-another-function%23new-answer', 'question_page');

    );

    Post as a guest















    Required, but never shown

























    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes









    7












    $begingroup$

    I would express this as "$f$ is invariant under $g$" or "$f$ is $g$-invariant", because of the analogy with group actions:



    Compare this with: If $G$ is a group acting linearly on a vector space $V$, it induces an action on the dual $V^*$ by letting $g*f = f circ g$. If $g*f = f$ for all $g in G$, we would say $f$ is $G$-invariant.



    Now, if $f : X to Y$ and $g : X to X$, then $g$ determines a monoid action of $mathbb N$ on $X$ by letting $n$ act by $g_n = g circ cdots circ g$. The monoid action induces a monoid action on the set of functions $X to Y$, by letting $n*f = f circ g_n$. A function $f$ is invariant under this monoid action iff $f circ g = f$.






    share|cite|improve this answer











    $endgroup$

















      7












      $begingroup$

      I would express this as "$f$ is invariant under $g$" or "$f$ is $g$-invariant", because of the analogy with group actions:



      Compare this with: If $G$ is a group acting linearly on a vector space $V$, it induces an action on the dual $V^*$ by letting $g*f = f circ g$. If $g*f = f$ for all $g in G$, we would say $f$ is $G$-invariant.



      Now, if $f : X to Y$ and $g : X to X$, then $g$ determines a monoid action of $mathbb N$ on $X$ by letting $n$ act by $g_n = g circ cdots circ g$. The monoid action induces a monoid action on the set of functions $X to Y$, by letting $n*f = f circ g_n$. A function $f$ is invariant under this monoid action iff $f circ g = f$.






      share|cite|improve this answer











      $endgroup$















        7












        7








        7





        $begingroup$

        I would express this as "$f$ is invariant under $g$" or "$f$ is $g$-invariant", because of the analogy with group actions:



        Compare this with: If $G$ is a group acting linearly on a vector space $V$, it induces an action on the dual $V^*$ by letting $g*f = f circ g$. If $g*f = f$ for all $g in G$, we would say $f$ is $G$-invariant.



        Now, if $f : X to Y$ and $g : X to X$, then $g$ determines a monoid action of $mathbb N$ on $X$ by letting $n$ act by $g_n = g circ cdots circ g$. The monoid action induces a monoid action on the set of functions $X to Y$, by letting $n*f = f circ g_n$. A function $f$ is invariant under this monoid action iff $f circ g = f$.






        share|cite|improve this answer











        $endgroup$



        I would express this as "$f$ is invariant under $g$" or "$f$ is $g$-invariant", because of the analogy with group actions:



        Compare this with: If $G$ is a group acting linearly on a vector space $V$, it induces an action on the dual $V^*$ by letting $g*f = f circ g$. If $g*f = f$ for all $g in G$, we would say $f$ is $G$-invariant.



        Now, if $f : X to Y$ and $g : X to X$, then $g$ determines a monoid action of $mathbb N$ on $X$ by letting $n$ act by $g_n = g circ cdots circ g$. The monoid action induces a monoid action on the set of functions $X to Y$, by letting $n*f = f circ g_n$. A function $f$ is invariant under this monoid action iff $f circ g = f$.







        share|cite|improve this answer














        share|cite|improve this answer



        share|cite|improve this answer








        edited 8 hours ago

























        answered 8 hours ago









        punctured duskpunctured dusk

        14.8k32887




        14.8k32887



























            draft saved

            draft discarded
















































            Thanks for contributing an answer to Mathematics Stack Exchange!


            • Please be sure to answer the question. Provide details and share your research!

            But avoid


            • Asking for help, clarification, or responding to other answers.

            • Making statements based on opinion; back them up with references or personal experience.

            Use MathJax to format equations. MathJax reference.


            To learn more, see our tips on writing great answers.




            draft saved


            draft discarded














            StackExchange.ready(
            function ()
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3264480%2fname-for-a-function-whose-effect-is-canceled-by-another-function%23new-answer', 'question_page');

            );

            Post as a guest















            Required, but never shown





















































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown

































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown







            Popular posts from this blog

            Invision Community Contents History See also References External links Navigation menuProprietaryinvisioncommunity.comIPS Community ForumsIPS Community Forumsthis blog entry"License Changes, IP.Board 3.4, and the Future""Interview -- Matt Mecham of Ibforums""CEO Invision Power Board, Matt Mecham Is a Liar, Thief!"IPB License Explanation 1.3, 1.3.1, 2.0, and 2.1ArchivedSecurity Fixes, Updates And Enhancements For IPB 1.3.1Archived"New Demo Accounts - Invision Power Services"the original"New Default Skin"the original"Invision Power Board 3.0.0 and Applications Released"the original"Archived copy"the original"Perpetual licenses being done away with""Release Notes - Invision Power Services""Introducing: IPS Community Suite 4!"Invision Community Release Notes

            Canceling a color specificationRandomly assigning color to Graphics3D objects?Default color for Filling in Mathematica 9Coloring specific elements of sets with a prime modified order in an array plotHow to pick a color differing significantly from the colors already in a given color list?Detection of the text colorColor numbers based on their valueCan color schemes for use with ColorData include opacity specification?My dynamic color schemes

            Ласкавець круглолистий Зміст Опис | Поширення | Галерея | Примітки | Посилання | Навігаційне меню58171138361-22960890446Bupleurum rotundifoliumEuro+Med PlantbasePlants of the World Online — Kew ScienceGermplasm Resources Information Network (GRIN)Ласкавецькн. VI : Літери Ком — Левиправивши або дописавши її