Formal Dirichlet-Bourbaki definition of function

Question

What is the formal Dirichlet-Bourbaki definition of a function?

I have come across this in this essay: http://www.k-12prep.math.ttu.edu/journal/contentknowledge/meel01/article.pdf on page 1.

I know what a function is and I can write down a definition. What I would like to know is what the the definition is that is specifically known as the formal Dirichlet-Bourbaki definition.

score 6 · Accepted Answer · edited Mar 29 '13 at 01:49

6

A function $f:X\rightarrow Y$ is a subset of $X\times Y$ such that $(x,y_1)\in f$ and $(x,y_2)\in f$ implies $y_1=y_2$.

See for example here: http://books.google.com/books?id=8Wn3SJDIhWwC&pg=PA121&lpg=PA121&dq=dirichlet-bourbaki+function&source=bl&ots=TO_fvKoRy2&sig=RfPmjmSYVJpbeRBOMMadPD8EUNg&hl=en&sa=X&ei=KOxUUbjSIuiaiQLIwIGYBA&ved=0CG4Q6AEwCA#v=onepage&q=dirichlet-bourbaki%20function&f=false

edited Mar 29 '13 at 01:49

Thomas

43,555

answered Mar 29 '13 at 01:11

suissidle

529

Thanks for the answer. So you are saying that this definition is what is know as the formal Dirichlet-Bourbaki definition? – Thomas Mar 29 '13 at 01:12
1

Yeah, see here: http://books.google.com/books?id=8Wn3SJDIhWwC&pg=PA121&lpg=PA121&dq=dirichlet-bourbaki+function&source=bl&ots=TO_fvKoRy2&sig=RfPmjmSYVJpbeRBOMMadPD8EUNg&hl=en&sa=X&ei=KOxUUbjSIuiaiQLIwIGYBA&ved=0CG4Q6AEwCA#v=onepage&q=dirichlet-bourbaki%20function&f=false – Elchanan Solomon Mar 29 '13 at 01:20
there are many ways to state the same thing. it appears that dirichlet never gave a formal definition of function, while bourbaki gave more than one – suissidle Mar 29 '13 at 01:22
2

You left out $\forall x\in X;\exists y;(;(x,y)\in f).$ – DanielWainfleet Apr 07 '16 at 17:55

Math Gems · Answer 2 · 2013-03-29T02:36:06.873

3

The term "Dirichlet-Bourbaki definition of a function" appears to be a term used by some primary/secondary-level mathematics educators for the contemporary set-theoretic notion of a function. Here is some information about the definitions of Dirichlet and Dedekind, excerpted from Israel Kleiner's article Evolution of the Function Concept: A Brief Survey. See the full article (free) for much more on the complex history.

enter image description here