forward referencing in mathematics


by V0ODO0CH1LD
Tags: forward, mathematics, referencing
V0ODO0CH1LD
V0ODO0CH1LD is offline
#1
Feb10-14, 09:39 AM
P: 201
In most programming languages, mentioning an object inside it's definition can cause a lot of trouble at compile time because what's being mentioned doesn't technically exist yet.

But in mathematics is "forward referencing" allowed? Can I, for instance, define a set and use the set being defined in the definition??

For example, using set builder notation:

S = {x in X : P(x)}.

Where the formula P makes mention of S? Like,

S = {(a,b) in AxB : for all b' [((a,b) in S and (a,b') in S) => (b = b')]}.

Is that allowed in mathematics? If not, is there always a way to define things not mentioning them? In the case of the functional relation above, how would I do it?
Phys.Org News Partner Mathematics news on Phys.org
Researchers help Boston Marathon organizers plan for 2014 race
'Math detective' analyzes odds for suspicious lottery wins
Pseudo-mathematics and financial charlatanism
jgens
jgens is offline
#2
Feb10-14, 09:53 AM
P: 1,623
Quote Quote by V0ODO0CH1LD View Post
For example, using set builder notation:

S = {x in X : P(x)}.

Where the formula P makes mention of S? Like,

S = {(a,b) in AxB : for all b' [((a,b) in S and (a,b') in S) => (b = b')]}.

Is that allowed in mathematics? If not, is there always a way to define things not mentioning them? In the case of the functional relation above, how would I do it?
Unless B is either empty or a singleton your definition of S makes no sense anyway. So I would work on fixing that first before worrying about the whole "forward referencing" issue.
V0ODO0CH1LD
V0ODO0CH1LD is offline
#3
Feb10-14, 10:17 AM
P: 201
My second definition of S does not matter, it was just an example.. You can forget about it completely if it helps. The actual question has to do with referencing objects within their definition. I'm just wondering if that is allowed or if it raises some contradiction.

jgens
jgens is offline
#4
Feb10-14, 10:54 AM
P: 1,623

forward referencing in mathematics


Quote Quote by V0ODO0CH1LD View Post
I'm just wondering if that is allowed or if it raises some contradiction.
If people are careless with their writing, then it happens sometimes. In principle one should be able to avoid this however.
AlephZero
AlephZero is offline
#5
Feb10-14, 02:21 PM
Engineering
Sci Advisor
HW Helper
Thanks
P: 6,341
I don't see any reason why you can't make a valid recursive definition, in a similar way to defining a recursive function in a programming language. But you need at least one alternative in the definition that is not recursive.

But be careful - if you try to define "the set of all sets that are not members of themselves", bad stuff happens


Register to reply

Related Discussions
self-referencing definition Set Theory, Logic, Probability, Statistics 13
javascript referencing elements Engineering, Comp Sci, & Technology Homework 0
Help with referencing Academic Guidance 1
Etiquette for referencing PF in a publication Forum Feedback & Announcements 2
Correct Citing & Referencing Academic Guidance 0