Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Eliminating arguments from a function

  1. Oct 7, 2014 #1
    My issue comes from thermodynamics (https://www.physicsforums.com/threads/zeroth-law-of-thermodynamics-and-empirical-temperature.774255/), but I guess this is really a math problem rather than a physics problem:

    Let [itex] \boldsymbol{x} \in \mathbb{R}^m [/itex], [itex] \boldsymbol{y} \in \mathbb{R}^n [/itex], [itex] \boldsymbol{z} \in \mathbb{R}^p [/itex].

    Given
    [tex] f_1 (\boldsymbol{x}, \boldsymbol{z} ) = f_2 (\boldsymbol{y}, \boldsymbol{z}) [/tex]
    and
    [tex] f_3(\boldsymbol{x}, \boldsymbol{y}) = 0, [/tex]
    how can we show that there exist functions [itex] g_1, g_2 [/itex] such that
    [tex] g_1(\boldsymbol{x}) = g_2(\boldsymbol{y}) [/tex]

    (i.e., [itex] f_3 = 0 [/itex] means that [itex] f_1 [/itex] and [itex] f_2 [/itex] can be reduced so they're independent of [itex] \boldsymbol{z} [/itex])

    In my physics class, we were given a sort of "hand-waving" argument, but I'm having trouble finding a more rigorous explanation. Can anyone help me out?
     
  2. jcsd
  3. Oct 7, 2014 #2

    mathman

    User Avatar
    Science Advisor
    Gold Member

    I have trouble understanding the question, but I'll take a stab at it. The last comment says f1 and f2 can be reduced to be independent of z. In that case wouldn't g1 and g2 simply be these reduced versions of f1 and f2?
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Eliminating arguments from a function
Loading...