The Popcorn Function

[@francaisdeuxbaguetteiii7316]

This guys enthusiasm is contagious .

[@drpeyam]

Merci :)

[@eliezrolerdo1632]

it is

[@samratyadav6615]

04:33 today I came to know the meaning of wtf for mathematician is 'what to find' 😅😅

[@victorscarpes]

So, What's The Function?

[@stlemur]

I love this function because it's perverse. It's a great one to pull out for when students need a counterexample.

[@Kdd160]

To be honest I was having popcorn and watching yt when your notification came. . . Such a coincidence

[@aaryunik]

lol

[@thedoublehelix5661]

Amazing idea to use the fact that a rational sequence converging to an irrational number must eventually have as complicated of a denominator as you want!!!!

[@aishayo3308]

This is so beautiful! Thank you very much, Dr Peyam, for such a detailed explanation. I finally got it!

[@noahtaul]

All these discontinuities are “removable”, meaning that limits exist at all points, the function just isn’t equal to the limit at the rationals. Fun theorem: it’s impossible to have a limit at every point but an uncountable number of removable discontinuities. So this is the worst we can do and still have limits everywhere.

[@georgesanxionnat5054]

The reference to Stromae though

[@anjunakrokus]

8:20 If for any irrational number x you can choose a d such that there is no integer inside (x-d), (x+d). Then it must also be that for any integer n there isn't an irrational number inside (n-d), (n+d). (since if there is an irrational number inside (n-d), (n+d), then the integer must be inside that irrational numbers interval). This doesn't sound correct to me, since we already established that n-e/N is irrational in the limit of N to infinity. So we can only assume that this process doesn't hold for all irrational numbers. Unless I'm missing something

[@HeavyMetalMouse]

That does not imply, no. If for any specific irrational number x you can choose a 'd' such that there is no integer inside ((x-d),(x+d)), then that only means that, for any integer k, there exists some small h such that *that specific* x is not in ((k-h),(k+h)). That is, for any *specific* irrational number, you can make an interval small enough around any integer so as not to include that number. However, because there are uncountably infinite irrational numbers, you can't just list off all of the irrationals and repeat this process to exclude all of them - by Cantor's Diagonalization proof, if you exclude a countably infinite number of irrational numbers from the interval, you will always be able to still find an example of one you 'missed', even after taking that into account. Your conclusion does not hold, because the choice of value of 'd' does not have to be the same 'd' for every possible irrational 'x', essentially. It doesn't matter if there are irrational numbers in every nonzero size interval around an integer, it only matters if *that specific* irrational number 'x' is not in chosen size interval around any integer.

[@anjunakrokus]

@@HeavyMetalMouse thank you

[@honghong324nt5]

The function is cool and all but it's quite amazing to know that you can limit the size of the denominator of the rationals between any 2 irrationals to any number that you want!

[@aaryunik]

I see this comment is from 3 months back while the video was posted 8 minutes ago

[@aaryunik]

Which seems crazy

[@legendarynoob6732]

Wtf??

[@L0wLevel01]

What

[@muslimrafi275]

Wtf..some 👽 stuff at work

[@kanewilliams1653]

How on earth do you make a video every single day?? Incredible!

[@drpeyam]

I make them in batches haha

[@iabervon]

I thought it would be easiest to show that the limit is 0 everywhere. If x_0 is rational, choose delta to be 1/(N!) such that 1/N

[@iabervon]

(That is to say, I think the proof of the limit at irrational values is easier to see if you prove it at rational ones as a lemma, and then make a few adjustments to make sure you're not too close to some simple fraction that isn't x_0)

[@kenharari]

Thank you Dr Peyam, I've read a lot of explanations to this problem and yours is definitely the best one.

[@colin398]

delta epsilon proof for discontinuity on rationals. Let x0 = p/q in Q, x0 in [0, 1]. Then f(x0) = 1/q. Let epsilon < 1/q. Let delta > 0. By the density of irrational numbers in R, B_delta(x0) contains an irrational number y0. We have that |x0-y0| < delta, but |f(x0) - f(y0)| = |1/q - 0| = 1/q > epsilon, so f is discontinuous for rational numbers

[@positivenozy6065]

0:22 doc dropped fire beat tho

[@limitstates]

Thanks for explaining it!

[@tim-701cca]

That’s easy to understand！ But why we can restrict the delta, to exclude an infinite set of form p/n.

[@richardfredlund3802]

i did some googling after watching this --- apparently there's also a funciton which is continuous everywhere but differentiable nowhere --- "Karl Weierstrass when he constructed a function that is continuous everywhere but differentiable nowhere" thatsmaths.com/2012/10/25/the-popcorn-function/ en.wikipedia.org/wiki/Weierstrass_function

[@geekjokes8458]

i was reading it the other day!

[@Qermaq]

I love how "want to find" is written WTF. :D

[@shivaudaiyar2556]

Thanks for such a great content

[@worldnotworld]

This freaks me out. How can this be? I too happened to be eating popcorn while watching this and I almost never eat popcorn.

[@ВасилийТёркин-к8х]

So basically it discontinuous in a countable set of points

[@SquidofCubes]

Indeed the rationals are countable

[@FT029]

wow, this is quite beautiful. I think of it as a bunch of frogs that hop 1/2, 1/3, 1/4, ..., 1/N starting from 0, and they all hop over this very tiny range (x_0 - delta, x_0 + delta).

[@adamlindstrom5750]

It is actually not that hard to prove continuity at irrationals using just sequences, given a certain result about rational approximations to irrationals. The "tricky" case here is a sequence of rattionals p_n/q_n approaching x_0. The result we need is that for any such sequence, the sequence of denominators q_n tends to infinity (I believe this is most easily shown by contradiction). From this it then follows that 1/q_n tends to 0 and we are done.

[@tomkerruish2982]

John Conway called this function "Stars Over Babylon".

[@anarghasau6337]

fantastic explanation

[@saroshiqbalbhatti2901]

Sir you are legend Plz recommend more KZbin channel of Math

[@drpeyam]

Dr Peyam hahaha

[@saroshiqbalbhatti2901]

@@drpeyam 😂😂😂😂😂😂😂😂😂😂😂😂😂😂😂

[@souvikbhattacharya1990]

why we can continue the process up to p/N ? why not beyond that?

[@Chariotuber]

wow this just might be my new favorite function! Love this video!!

[@cparks1000000]

For the selection of $\delta$, you only need to show that the set $\mathbb{Q}_N = \{p/q \mid 0 \le q \leq N \}$ is closed where $p$ and $q$ are integers. (Since it's a finite union of the closed sets $\mathbb{N}/n$, this is easy.) You then take $delta = d(x, \mathbb{Q}_N)$ where $d$ is the distance function. Since $\mathbb{Q}_N$ is closed and does not contain $x$, we know $\delta$ is not zero.

[@JPiMaths]

Stromae + an insanely cool function; what more could you ask for? Amazing stuff!!

[@yanmich]

That strange image of the pop-corn function reminds me of the Sierpinski gasket (Pascal's triangle mod2). Perhaps there is some connection!

[@ChaineYTXF]

I stumbled across that very function on one of my pupil's test sheet yesterday at about the same moment you posted your video... It was just printed there by their teacher for curiosity and made me think of Dirichlet's function and lebesgue integration.. Nice coincidence!

[@dougdimmedome5552]

It’s also Riemann integrable as it only has countably many discontinuities as it’s only discontinuous are the rationals, yet it has no anti derivative on any [a,b] cause it’s not continuous for every x an element of [a,b] for any [a,b]. I honest to god think there was something wrong going on in the heads of the original analysts, it’s truly beautiful what a collection of such perverse minds can think up.

[@alexmarmaliuk4707]

How do we show that it's indifferentiable?

[@michaelgolub2019]

It is interesting whether it is fractal and how to produce its graph an a computer while it uses just a subset of rational numbers event if using long math.

[@particleonazock2246]

Next time, can you please feed your viewers popcorn? You could even brand it as Peyam's popcorn.

[@drpeyam]

Hahaha

[@xdl322]

Thanks.

[@shruggzdastr8-facedclown]

What, if anything noteworthy, do the transcendental numbers do to this function?

[@adamlindstrom5750]

They don't really do anything noteworthy to this particular function since it can only pick out whether a number is rational or irrational. Perhaps one could define a function which is zero on trancendental numbers and positive on algebraic ones, with a value related to that numbers minimal polynomial over either Z or Q. There is probably some choice of values that would give such a function similar properties as Thomae's function, but "see" algebraic vs trancendental distinctions instead of rational vs irrational.

[@dontask5947]

I am a little confused here how we can do that. If we don't control the p as well in p/q. Let's say we have 5 as the denominator and then we move on to the denominator being 1000. So in the former case we have 1/5 included and in the latter 201/1000 so if 201/1000 is included then 1/5 must be too in the inside the range

[@muslimrafi275]

That is some high level mathematics...I still always come around to see if something helps me...btw u are very well received by Indians..

[@Qermaq]

Upside down, it looks like a draped curtain. Right by 1/2 on either side, there's a huge notch, same by 1/3 etc. Not the way the Wikipedia pic is done, but if you leave no gaps.

[@StefanReich]

So if it is integrable, what is the integral? Just f(x) = 0, right?

[@drpeyam]

0 indeed

[@carterwoodson8818]

@0:24 i dont think this is a reference to Junji Ito's Tomie, but i thought it was going to be haha

[@dugong369]

But what if x0 is so close to a rational number that there is no interval that doesn't contain both of them???

[@maxdemuynck9850]

very nice video!

[@pandabearguy1]

I remember having to prove this exact same thing with epsilin delta as a problem in a calc 1 assignment. Probably the hardest problem I had in calculus. My solution was more than a page long though arguing by offering money.

[@drpeyam]

Omg Calc 1? 😱

[@pandabearguy1]

@@drpeyam Ya our calc 1 was hard. It wasnt on a test luckily but part of a compulsary assignment

[@shirleymoon9934]

Such a beautiful proof!! But how am I going to solve it by myself in the exam 💀

[@eliyasne9695]

Wow, that's awesome!

[@aneeshsrinivas9088]

Hey what does stromae mean?

[@buxeessingh2571]

You should have ended the video with a clip from the song by Gershon Kingsley or Hot Butter.

[@saroshiqbalbhatti2901]

Sir what is your qualification and which university

[@uelssom]

that is so crazy!!

[@blackloop1861]

Alors on danse tan tatan , LOOOOOL

[@Epselon]

The best

[@Monirul2512]

Very good sir

[@MurshidIslam]

I don't get this: how is f(x_0) = 1/9 at 6:05?

[@redvel5042]

x_0 was defined as p/q (such that q > 0, p and q are integers, and the fraction p/q is in its reduced form), and f(x) was defined to be equal to 1/q for a rational x (a rational x that is like x_0), so f(x_0) = 1/q.

[@MurshidIslam]

@@redvel5042 Oh yes. I misread the 'q' as '9'. 🤦🏾‍♂️

[@MurshidIslam]

@@redvel5042 Thank you.

[@redvel5042]

@@MurshidIslam np

[@sonusaini-nm9xc]

this function in funtastic

[@sonusaini-nm9xc]

is

[@rudragaitonde6197]

hello dr peyam!!!!!!

[@rikhalder5708]

Popcorn is function .😂 Lol

[@sepehrjafari5223]

سلام دکتر چطوری میتونم با شما ارتباط برقرار کنم؟

[@elephantdinosaur2284]

Peyam: a function that is so crazy that it is continuous at every irrational number but discontinuous at every rational number. Me: Pffffft. No way. Impossible. Peyam: let f = ....... Me: hmmm. okayyy. Where are you going with this?? Peyam: let's evaluate a few points. Me: Sure why not. Peyam: the graph looks like this ... Me: if the graph is like that ... then that would mean on a neighborhood for an irrational point ... f would take on values close to .... no way .... OMGGGGGGG. IT IS TRUEEEE!!!! Peyam: mwuahahahaha 😎 Peyam needs an evil laugh xD

[@mrwclasseshazaribagh4105]

This is a proof but ,not a visual proof ,i am not able to visualize this

[@adam_elm_5680]

alors on danse 😂😂😂 this teacher is funny he's the best

[@Arriyad1]

The real numbers are not real. They are a figment of man’s imagination. That makes it so strange that our human “creation” escapes our intuition and behaves differently… like also the Vitali set, it escapes our intuition, or even our intention (sets with no measure!). Or why pi is ubiquitous, in the Basel summation, and in the integral of the gaussian… So strange. Contemplating these mysteries is a pleasure reserved to mathematicians only 😊

[@ericthecuberspeedcuber]

Want To Find

[@gaaraofddarkness]

WTF!

[@blackpenredpen]

WTF

[@AlfonsoNeilJimenezCasallas]

I am hungry of pop-corn 😋🍚

[@drsolo7]

A'lor on danse

[@beaming_sparkling_trash261]

Alors on danse 😂😂

[@BlokenArrow]

Is it even possible to have consecutive irrational numbers?

[@drpeyam]

Not possible

[@BlokenArrow]

@@drpeyam how do we prove it?

[@semperciok]

@@BlokenArrow maybe archimede proprety

[@skrill500]

@@BlokenArrow density of irrational numbers

[@ronycb7168]

Here q is x for all the confused out here

[@samirelzein1978]

Use excel, at least!

[@drpeyam]

?

[@l._.eonardo7464]

Never been so early

[@frentz7]

somehow the thirds are screwed up in the plot

[@drpeyam]

Hahaha

[@frentz7]

@@drpeyam :)

[@marknikovvelesky2960]

Why your expressions is like a gay ?? 🇷🇺🇷🇺