Is every function in the set of all functions a rational function?

  • Context: Undergrad 
  • Thread starter Thread starter ice109
  • Start date Start date
  • Tags Tags
    Algebra Functions
Click For Summary

Discussion Overview

The discussion revolves around the classification of the set of all functions, particularly whether it can be considered a field that contains the property of the multiplicative inverse. Participants explore the implications of this classification and the definitions of functions, rational functions, and polynomials.

Discussion Character

  • Debate/contested
  • Conceptual clarification
  • Technical explanation

Main Points Raised

  • One participant questions whether the set of all functions can be classified in a way that includes the multiplicative inverse property, citing polynomial functions as an example.
  • Another participant emphasizes that sets do not have operations defined on them, suggesting that the inquiry should focus on the algebraic structure involving functions.
  • There is a discussion about the definition of the multiplicative inverse of a function, with some participants seeking clarification on this concept.
  • Confusion arises regarding the classification of polynomials and rational functions, with one participant asserting that polynomials are a subset of rational functions.
  • Participants express differing levels of understanding regarding the definitions and properties of fields, functions, and their relationships.
  • Some participants challenge each other's understanding and definitions, leading to a more contentious tone in the discussion.

Areas of Agreement / Disagreement

Participants do not reach a consensus on the classification of the set of all functions or the implications of the multiplicative inverse property. Multiple competing views and levels of understanding remain evident throughout the discussion.

Contextual Notes

There are unresolved definitions and assumptions regarding the nature of functions, the properties of fields, and the relationships between different types of functions, which contribute to the confusion expressed by participants.

ice109
Messages
1,708
Reaction score
6
is the set of all functions a ... (blank), i don't know what the correct classification is, but it should contain the property of the multiplicative inverse. that's basically what the question is. does the set of all (really all) functions contain these two properties:

[tex]f=f[/tex]
and
[tex]f \frac{1}{f} =1[/tex]

for example for polynomial functions this is true

[tex]f(x)=x[/tex]
[tex]f(x)\left(\frac{1}{f(x)}\right)=\frac{x}{x}=1[/tex]

at least so I've been taught since the beginning of time.

but the question is does this hold true for ALL functions. basically what kind of set is the set of all functions.
 
Physics news on Phys.org
(1) What kind of functions? I bet you have a specific domain and range in mind...
(2) What is the definition of the multiplicative inverse of a function?
(3) Think about your example some more...
 
Incidentally, in the world of algebra, sets are characterized by the fact that they have no operations defined on them. A set only contains elements, it doesn't have an additional structure like a multiplication operation.

So what you meant to say is that you were asking about the algebra whose underlying set is the set of functions and has a multiplication operator. (By the way, how is that operator defined?)
 
Hurkyl said:
(1) What kind of functions? I bet you have a specific domain and range in mind...
(2) What is the definition of the multiplicative inverse of a function?
(3) Think about your example some more...

1. no no specific domain in mind, this is a question about all domains, all functions, everything.
2. the definition would seem to be as I've described it to be in my example. if it is not please correct me.

i wasn't sure if it was a question pertaining to the algebra over the set all functions or the field over the set of all functions or w/e.

again if i go with what has been taught to me then the multiplication operator is defined as simply the multiplication of the outputs of each function.

you have to understand this is my first steps into the world of real math. so functions as mappings, fields, algebras, operators etc is all very new to me.
 
ice109 said:
is the set of all functions a ... (blank), i don't know what the correct classification is, but it should contain the property of the multiplicative inverse.

field

that's basically what the question is. does the set of all (really all) functions contain these two properties:

[tex]f=f[/tex]
and
[tex]f \frac{1}{f} =1[/tex]


Are you sure you mean functions? From where to where?

for example for polynomial functions this is true

[tex]f(x)=x[/tex]
[tex]f(x)\left(\frac{1}{f(x)}\right)=\frac{x}{x}=1[/tex]

at least so I've been taught since the beginning of time.

No, you haven't. 1/x is not a polynomial.
 
matt grime said:
field
thx2u
matt grime said:
No, you haven't. 1/x is not a polynomial.
quite true, it is a rational function and now i am completely confused about how a polynomial function multiplied by a rational function is 1,the identity.
 
What? Polynomials are rational functions too. Rational functio fields - the basis of algbraic geometry.
 
matt grime said:
What? Polynomials are rational functions too. Rational functio fields - the basis of algbraic geometry.

i didn't realize this.

you should have just told me that polynomials are a subset of the rationals and that the identity i put up is actually for the field of rationals.
 
ice109 said:
i didn't realize this.

you should have just told me that polynomials are a subset of the rationals and that the identity i put up is actually for the field of rationals.

Many apologies. I will work on my mind reading skills. Is there anything else you're ignorant of that I should magically guess I need to tell you?
 
  • #10
matt grime said:
Many apologies. I will work on my mind reading skills. Is there anything else you're ignorant of that I should magically guess I need to tell you?

considering i didn't realize that a field contains the property of multiplicative inverse and the last statement in post #4, which you might notice is immediately before your first post in this thread, it should be quite obvious that I'm ignorant of many things.

if you don't have the patience to explain things in terms i can understand at least refrain from confusing me.
 
  • #11
I did not confuse you. You confused yourself by not understanding the definitions. Don't blame me if you haven't learned the definitions. If you state something to be a rational function I presume that means you understand what they are (you introduced the phrase). If you didn't understand from the definition of rational function (the ratio of two polys) that this clearly means the polys are a subset - polynomial divided by 1 - then that is not my fault, again. I take it you understand that integers are rational numbers. This is no different.

(If you'd used 'could have told me' rather than 'should have told me' when telling me off, I'd've not gotten anywhere near as annoyed).
 
Last edited:

Similar threads

  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 54 ·
2
Replies
54
Views
7K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 19 ·
Replies
19
Views
4K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K