• Log InLog In
  • Register
Liquid`
Team Liquid Liquipedia
EDT 12:12
CEST 18:12
KST 01:12
  • Home
  • Forum
  • Calendar
  • Streams
  • Liquipedia
  • Features
  • Store
  • EPT
  • TL+
  • StarCraft 2
  • Brood War
  • Smash
  • Heroes
  • Counter-Strike
  • Overwatch
  • Liquibet
  • Fantasy StarCraft
  • TLPD
  • StarCraft 2
  • Brood War
  • Blogs
Forum Sidebar
Events/Features
News
Featured News
TL.net Map Contest #21: Voting3[ASL20] Ro4 Preview: Descent6Team TLMC #5: Winners Announced!3[ASL20] Ro8 Preview Pt2: Holding On9Maestros of the Game: Live Finals Preview (RO4)5
Community News
Weekly Cups (Oct 6-12): Four star herO65.0.15 Patch Balance Hotfix (2025-10-8)71Weekly Cups (Sept 29-Oct 5): MaxPax triples up3PartinG joins SteamerZone, returns to SC2 competition325.0.15 Balance Patch Notes (Live version)119
StarCraft 2
General
5.0.15 Patch Balance Hotfix (2025-10-8) The New Patch Killed Mech! TL.net Map Contest #21: Voting Weekly Cups (Oct 6-12): Four star herO PartinG joins SteamerZone, returns to SC2 competition
Tourneys
Master Swan Open (Global Bronze-Master 2) Tenacious Turtle Tussle WardiTV Mondays SC2's Safe House 2 - October 18 & 19 Sparkling Tuna Cup - Weekly Open Tournament
Strategy
Custom Maps
External Content
Mutation # 495 Rest In Peace Mutation # 494 Unstable Environment Mutation # 493 Quick Killers Mutation # 492 Get Out More
Brood War
General
BSL Season 21 BGH Auto Balance -> http://bghmmr.eu/ Brood War web app to calculate unit interactions Whose hotkey signature is this? Any rep analyzer that shows resources situation?
Tourneys
[ASL20] Semifinal B [ASL20] Semifinal A [Megathread] Daily Proleagues [ASL20] Ro8 Day 4
Strategy
Current Meta BW - ajfirecracker Strategy & Training Siegecraft - a new perspective TvZ Theorycraft - Improving on State of the Art
Other Games
General Games
Stormgate/Frost Giant Megathread Nintendo Switch Thread ZeroSpace Megathread Dawn of War IV Path of Exile
Dota 2
Official 'what is Dota anymore' discussion LiquidDota to reintegrate into TL.net
League of Legends
Heroes of the Storm
Simple Questions, Simple Answers Heroes of the Storm 2.0
Hearthstone
Deck construction bug Heroes of StarCraft mini-set
TL Mafia
SPIRED by.ASL Mafia {211640} TL Mafia Community Thread
Community
General
Things Aren’t Peaceful in Palestine US Politics Mega-thread Russo-Ukrainian War Thread Men's Fashion Thread Sex and weight loss
Fan Clubs
The herO Fan Club! The Happy Fan Club!
Media & Entertainment
Anime Discussion Thread [Manga] One Piece Movie Discussion!
Sports
2024 - 2026 Football Thread Formula 1 Discussion MLB/Baseball 2023 NBA General Discussion TeamLiquid Health and Fitness Initiative For 2023
World Cup 2022
Tech Support
SC2 Client Relocalization [Change SC2 Language] Linksys AE2500 USB WIFI keeps disconnecting Computer Build, Upgrade & Buying Resource Thread
TL Community
The Automated Ban List Recent Gifted Posts
Blogs
Inbreeding: Why Do We Do It…
Peanutsc
From Tilt to Ragequit:The Ps…
TrAiDoS
Customize Sidebar...

Website Feedback

Closed Threads



Active: 1178 users

Calculus help - Page 2

Blogs > Faronel
Post a Reply
Prev 1 2 All
moriya
Profile Joined March 2009
United States54 Posts
July 19 2009 02:37 GMT
#21
I need not u to show me that "both are the same".
And to me, their intelligence level is not the same.
Malongo
Profile Blog Joined November 2005
Chile3472 Posts
July 19 2009 02:46 GMT
#22
On July 19 2009 11:37 moriya wrote:
I need not u to show me that "both are the same".
And to me, their intelligence level is not the same.

Good luck in your life with epsilon/delta smart boy.
Help me! im still improving my English. An eye for an eye makes the whole world blind. M. G.
moriya
Profile Joined March 2009
United States54 Posts
July 19 2009 02:48 GMT
#23
Did u notice the OP said "The assignment I'm currently working on has to deal with delta-epsilon proofs of limits."? Your sketch solution is not a solution but kinda reiterate of the problem.
On July 19 2009 11:08 Plexa wrote:
Math is teaching you to thinking logically
the any of the limit laws can easily be derived using anything from the sequential criterion for limits to straight up using epsilon-delta machinery.

With that said, the arguments employed are exactly the same in both cases - except one has the complete solution and the other has the sketch solution. The latter, imo, is better for a thread like this. The reason being is that it gives the op the chance to complete the proof the e-d methods since from the outset it looked like he was confused about how to approach the problem.

Nevertheless its a rather trivial problem in analysis any way you look at it

moriya
Profile Joined March 2009
United States54 Posts
July 19 2009 02:50 GMT
#24
Good luck, u can even find they are the same and no one else can!
Have a brilliant future! Hope u can contribute sth new to the society!
On July 19 2009 11:46 Malongo wrote:
Show nested quote +
On July 19 2009 11:37 moriya wrote:
I need not u to show me that "both are the same".
And to me, their intelligence level is not the same.

Good luck in your life with epsilon/delta smart boy.

Plexa
Profile Blog Joined October 2005
Aotearoa39261 Posts
Last Edited: 2009-07-19 03:15:36
July 19 2009 03:14 GMT
#25
On July 19 2009 11:30 moriya wrote:
Certainly i am aware of that "trivial" thing, using ur word, just lazy to input them.
But u r so picky, so i add them, please prove that when lim(g)!=0.
Show nested quote +
On July 19 2009 11:28 Plexa wrote:
On July 19 2009 11:17 moriya wrote:
ROFL.

Please prove the lim(f/g)=lim(f)/lim(g) using ur logic way but not resorting to any laws.

The problem here is that what you have written is not true...
If lim(g) =/= 0 then lim(f/g)=lim(f)/lim(g) be careful!!


Uh, if you leave out that part of the hypothesis then your statement is not true... it is certainly not trivial

+ Show Spoiler +
Let epsilon = e > 0
There exists an L and a delta = d1 such that if 0 < | x - c | < d1 then | f(x) - L | < e where L belongs to the reals.
And there exists an M and a delta = d2 such that if 0 < | x - c | < d2 then | g(x) - M | < e where M belongs to the reals, M =/= 0.

Consider f(x)/g(x). Choose d = min{d1, d2} (then clearly f converges to L and g converges to M for |x - c | < d). Assume 0 < | x - c | < d, define h(x) = 1/g(x) => lim(h(x)) = 1/M = m (since M =/= 0, the proof is easy, let me know if you want it). So, |f(x)*h(x) - Lm| = |(f(x)*h(x)-f(x)*m) + (f(x)*m - L*m)| =< |f(x)|*|(h(x) - m)|+|m|*|(f(x) - L)|. Since both h(x) and f(x) have a limit, they are bounded on the delta neighborhood of c. Hence, there exists and number Z such that |f(x)|*|(h(x) - m)|+|m|*|(f(x) - L)| <= Z*|h(x) - m| + Z*|f(x) - L|. Since e arbitrary, we can easily find conditions for which for 0 < | x - c | < d => |f(x) - L| < e/(2*Z) and |h(x) - m| < e/(2*Z). So we arrive at the result;
Z*|h(x) - m| + Z*|f(x) - L| =< Z*e/(2*Z) + Z*e/(2*Z) = e.
And we are done

Messy, but it holds (I hate writing proofs out on the computer)
Administrator~ Spirit will set you free ~
Muirhead
Profile Blog Joined October 2007
United States556 Posts
July 19 2009 03:18 GMT
#26
Lolol Plexa can we put LaTeX support on teamliquid
starleague.mit.edu
moriya
Profile Joined March 2009
United States54 Posts
Last Edited: 2009-07-19 03:53:10
July 19 2009 03:20 GMT
#27
OK, i agree i shouldnot be so lazy when discussing a math problem. Maybe years of engineering student drag me too far away lol.

But ur sketch solution implies u think the e-d part is trivial, while i think they are the core of the problem and ur statement is trivial.

I just want to show that we have to touch the core of problem, sooner or later. If u cannot prove that for f/g, it means u need practice with e-d system more. If ur major is math, I would like to say sorry to you...
Plexa
Profile Blog Joined October 2005
Aotearoa39261 Posts
Last Edited: 2009-07-19 03:22:55
July 19 2009 03:21 GMT
#28
On July 19 2009 12:18 Muirhead wrote:
Lolol Plexa can we put LaTeX support on teamliquid

Would be very useful for these kinds of threads T_T
On July 19 2009 12:20 moriya wrote:
OK, i agree i shouldnot be so lazy when discussing a math problem. Maybe years of engineer student drag me too fay away lol.

But ur sketch solution implies u think the e-d part is trivial, while i think they are the core of the problem and ur statement is trivial.

I just want to show that we have to touch the core of problem, sooner or later. If u cannot prove that for f/g, it means u need practice with e-d system more. If ur major is math, I would like to say sorry to you...

From the OP
I was thinking about using a triangle inequality proof, but I have no clue where to start.

Do you think its better to spell out the entire proof? Or to show him the path he should follow to arrive at the solution?
Administrator~ Spirit will set you free ~
Faronel
Profile Blog Joined July 2008
United States658 Posts
Last Edited: 2009-07-19 03:26:40
July 19 2009 03:26 GMT
#29
Lol, kinda funny. Because I have to write all my solutions/proofs in LaTeX. I thought my teacher was kidding when he said that LaTeX was the way to go for almost all math/science papers
C'est la vie...
moriya
Profile Joined March 2009
United States54 Posts
July 19 2009 03:29 GMT
#30
not bad, although i see u spend a lot on proving lim(f*g)=limf*limg, while just say lim(1/g)=1/limg
is easy. What i feel is lim1/g=1/limg is the core of this problem here. I use this problem to test so I know the method, lol

funny that we always have different ideas about which is core and which is trivial...


On July 19 2009 12:14 Plexa wrote:
Show nested quote +
On July 19 2009 11:30 moriya wrote:
Certainly i am aware of that "trivial" thing, using ur word, just lazy to input them.
But u r so picky, so i add them, please prove that when lim(g)!=0.
On July 19 2009 11:28 Plexa wrote:
On July 19 2009 11:17 moriya wrote:
ROFL.

Please prove the lim(f/g)=lim(f)/lim(g) using ur logic way but not resorting to any laws.

The problem here is that what you have written is not true...
If lim(g) =/= 0 then lim(f/g)=lim(f)/lim(g) be careful!!


Uh, if you leave out that part of the hypothesis then your statement is not true... it is certainly not trivial

+ Show Spoiler +
Let epsilon = e > 0
There exists an L and a delta = d1 such that if 0 < | x - c | < d1 then | f(x) - L | < e where L belongs to the reals.
And there exists an M and a delta = d2 such that if 0 < | x - c | < d2 then | g(x) - M | < e where M belongs to the reals, M =/= 0.

Consider f(x)/g(x). Choose d = min{d1, d2} (then clearly f converges to L and g converges to M for |x - c | < d). Assume 0 < | x - c | < d, define h(x) = 1/g(x) => lim(h(x)) = 1/M = m (since M =/= 0, the proof is easy, let me know if you want it). So, |f(x)*h(x) - Lm| = |(f(x)*h(x)-f(x)*m) + (f(x)*m - L*m)| =< |f(x)|*|(h(x) - m)|+|m|*|(f(x) - L)|. Since both h(x) and f(x) have a limit, they are bounded on the delta neighborhood of c. Hence, there exists and number Z such that |f(x)|*|(h(x) - m)|+|m|*|(f(x) - L)| <= Z*|h(x) - m| + Z*|f(x) - L|. Since e arbitrary, we can easily find conditions for which for 0 < | x - c | < d => |f(x) - L| < e/(2*Z) and |h(x) - m| < e/(2*Z). So we arrive at the result;
Z*|h(x) - m| + Z*|f(x) - L| =< Z*e/(2*Z) + Z*e/(2*Z) = e.
And we are done

Messy, but it holds (I hate writing proofs out on the computer)

Plexa
Profile Blog Joined October 2005
Aotearoa39261 Posts
July 19 2009 03:35 GMT
#31
On July 19 2009 12:29 moriya wrote:
not bad, although i see u spend a lot on proving lim(f*g)=limf*limg, while just say lim(1/g)=1/limg
is easy. What i feel is lim1/g=1/limg is the core of this problem here. I use this problem to test so I know the method, lol

funny that we always have different ideas about which is core and which is trivial...


Show nested quote +
On July 19 2009 12:14 Plexa wrote:
On July 19 2009 11:30 moriya wrote:
Certainly i am aware of that "trivial" thing, using ur word, just lazy to input them.
But u r so picky, so i add them, please prove that when lim(g)!=0.
On July 19 2009 11:28 Plexa wrote:
On July 19 2009 11:17 moriya wrote:
ROFL.

Please prove the lim(f/g)=lim(f)/lim(g) using ur logic way but not resorting to any laws.

The problem here is that what you have written is not true...
If lim(g) =/= 0 then lim(f/g)=lim(f)/lim(g) be careful!!


Uh, if you leave out that part of the hypothesis then your statement is not true... it is certainly not trivial

+ Show Spoiler +
Let epsilon = e > 0
There exists an L and a delta = d1 such that if 0 < | x - c | < d1 then | f(x) - L | < e where L belongs to the reals.
And there exists an M and a delta = d2 such that if 0 < | x - c | < d2 then | g(x) - M | < e where M belongs to the reals, M =/= 0.

Consider f(x)/g(x). Choose d = min{d1, d2} (then clearly f converges to L and g converges to M for |x - c | < d). Assume 0 < | x - c | < d, define h(x) = 1/g(x) => lim(h(x)) = 1/M = m (since M =/= 0, the proof is easy, let me know if you want it). So, |f(x)*h(x) - Lm| = |(f(x)*h(x)-f(x)*m) + (f(x)*m - L*m)| =< |f(x)|*|(h(x) - m)|+|m|*|(f(x) - L)|. Since both h(x) and f(x) have a limit, they are bounded on the delta neighborhood of c. Hence, there exists and number Z such that |f(x)|*|(h(x) - m)|+|m|*|(f(x) - L)| <= Z*|h(x) - m| + Z*|f(x) - L|. Since e arbitrary, we can easily find conditions for which for 0 < | x - c | < d => |f(x) - L| < e/(2*Z) and |h(x) - m| < e/(2*Z). So we arrive at the result;
Z*|h(x) - m| + Z*|f(x) - L| =< Z*e/(2*Z) + Z*e/(2*Z) = e.
And we are done

Messy, but it holds (I hate writing proofs out on the computer)


If I were proving the problem I would have the lim(1/g) = (1/M) part as a lemma before the problem began. You're suggesting proving two things in the same proof, I prefer to break things into bite sized chunks for the most part. I dont see why you are trying to "size up" or "attack" my ability with maths though I assume anyone writing here is competent. It would be wise if you mannered up your responses from being passive aggressive to something more constructive if you wish to remain a poster here.
Administrator~ Spirit will set you free ~
Muirhead
Profile Blog Joined October 2007
United States556 Posts
July 19 2009 03:45 GMT
#32
Hm Plexa just curious what is your maths background?

I've seen some surprisingly advanced PHD-level posters here, but I didn't expect even the moderators to be mathy ^^
starleague.mit.edu
moriya
Profile Joined March 2009
United States54 Posts
Last Edited: 2009-07-19 03:57:47
July 19 2009 03:49 GMT
#33
Summary: I become so aggressive becoz i think some guy's solution is a typical BM in math proof. I make an analogy with Pythagoras's Theorem and laws of cosine, to show why it is a BM solution. To be more "constructive", I propose a problem f/g and lol some one begin to work on it.

BTW, It is a pity that we don't discuss that analogy. I want to know how u guys feel of that.
Plexa
Profile Blog Joined October 2005
Aotearoa39261 Posts
Last Edited: 2009-07-19 03:53:45
July 19 2009 03:51 GMT
#34
On July 19 2009 12:45 Muirhead wrote:
Hm Plexa just curious what is your maths background?

I've seen some surprisingly advanced PHD-level posters here, but I didn't expect even the moderators to be mathy ^^
I'm in my last year for my bsc in maths. Although next semester ill be taking honors papers to fill it up because i've done all the third year ones =/
On July 19 2009 12:49 moriya wrote:
Summary: I become so aggressive becoz i think some guy's solution is a typical BM in math proof. I make an analogy with and Pythagoras's Theorem and laws of cosine, to show why it is a BM solution. To be more "constructive", I propose a problem f/g and lol some one begin to work on it.

BTW, It is a pity that we don't discuss that analogy. I want to know how u guys feel of that.

mmm I disagree that the analogy is particularly relevant on the grounds that the argument in proving pythagoras is very different from setting theta = pi/2 in the cosine law, unlike the case we had here.
Administrator~ Spirit will set you free ~
Muirhead
Profile Blog Joined October 2007
United States556 Posts
July 19 2009 03:56 GMT
#35
Haha moriya I noticed in a bunch of threads that you get angry pretty easily, but I can't be too upset with a guy who praises my solution ^^. It's nice to see posters like yourself consistently turn up in these mathy threads!

As for your analogy, I think it's not quite the same thing. Plexa just restated the problem as its contrapositive and claimed that contrapositive to be well-known (which it is). Using the Law of Cosines to prove the Pythagorean Theorem is bashing a problem with excessively powerful tools, but Plexa isn't doing that so much as simply saying that the problem is well-known.
starleague.mit.edu
moriya
Profile Joined March 2009
United States54 Posts
Last Edited: 2009-07-19 04:12:01
July 19 2009 04:06 GMT
#36
I think the contrapositive of the problem is if f and g limit both exist, then f+g limits exist.
What plexa used is f+g limit =lim f+ lim g, which is stronger.
Just like using laws of cosine which is stronger to prove Pythagoras's Theorem.
and i didnot see e-d at all so I feel its kinda BM.

lol it is trivial and doesnot matter, sorry plexa. Maybe I get angry becoz i just get owned on USeast in some 3s4s game. ^_^



Muirhead
Profile Blog Joined October 2007
United States556 Posts
Last Edited: 2009-07-19 04:12:16
July 19 2009 04:11 GMT
#37
Oh sure I guess I just felt it isn't much stronger because you can't really show

if f and g limit both exist, then f+g limits exist

without showing

f+g limit =lim f+ lim g

unlike in the Pythagorean Theorem case, which you can prove nicely without using the Law of Cosines.
starleague.mit.edu
moriya
Profile Joined March 2009
United States54 Posts
Last Edited: 2009-07-19 04:52:20
July 19 2009 04:21 GMT
#38
Sure pythegorean theorem can be and should be proved by elementary method.

What I mean is that law of cosines is based on pythagorean theorem, just like lim(f+g)=limf+limg is based on lim(f+g) exist. You cannot use the former to prove latter. But on the other hand, u guys are correct, the situation is delicate here because when proving lim(f+g) exist u automatically obtained lim(f+g)=limf+limg.

lol i will go to see SPL playoff now. GL guys.
GreEny K
Profile Joined February 2008
Germany7312 Posts
July 19 2009 04:50 GMT
#39
On July 19 2009 10:03 Muirhead wrote:
Eh... I think it's cruel to equate asking for anlaysis help with asking for high school algebra help. The way I see it we're all here to help each other out here, and it's not easy to find people who know even moderately advanced math.


Im just saying, plus it doesnt matter what level of math the question is it could be 2+2= ??? and it would still go against the rules. Just saying.
Why would you ever choose failure, when success is an option.
Prev 1 2 All
Please log in or register to reply.
Live Events Refresh
OSC
14:00
OSC Elite Rising Star #16
WardiTV907
Liquipedia
[ Submit Event ]
Live Streams
Refresh
StarCraft 2
LamboSC2 334
mouzHeroMarine 28
MindelVK 10
StarCraft: Brood War
Calm 9481
BeSt 3328
Rain 2503
Bisu 2223
EffOrt 1338
Larva 488
Mini 442
Stork 420
firebathero 342
Light 338
[ Show more ]
actioN 338
Hyuk 316
ZerO 243
Hyun 141
Barracks 110
Backho 89
Sea.KH 73
hero 71
Rush 71
PianO 70
Sharp 65
Mong 64
ggaemo 59
JYJ32
zelot 29
Aegong 23
Killer 19
scan(afreeca) 16
sorry 15
Shine 14
ivOry 13
HiyA 10
Hm[arnc] 10
Terrorterran 8
NaDa 6
Dota 2
Gorgc9388
qojqva3113
Dendi1243
syndereN354
Fuzer 162
League of Legends
Trikslyr47
Counter-Strike
fl0m731
ScreaM720
ceh9378
Other Games
FrodaN779
Beastyqt417
B2W.Neo386
Lowko339
DeMusliM274
Skadoodle239
Hui .218
ToD142
Liquid`VortiX129
FunKaTv 37
ZerO(Twitch)16
trigger3
Organizations
StarCraft 2
Blizzard YouTube
StarCraft: Brood War
BSLTrovo
sctven
[ Show 18 non-featured ]
StarCraft 2
• poizon28 23
• LaughNgamezSOOP
• AfreecaTV YouTube
• sooper7s
• intothetv
• Kozan
• IndyKCrew
• Reevou 0
• Migwel
StarCraft: Brood War
• HerbMon 20
• Michael_bg 13
• STPLYoutube
• ZZZeroYoutube
• BSLYoutube
Dota 2
• C_a_k_e 1939
• Noizen43
League of Legends
• TFBlade667
Other Games
• Shiphtur213
Upcoming Events
OSC
1h 48m
MaxPax vs Gerald
Solar vs Krystianer
PAPI vs Lemon
Ryung vs Moja
Nice vs NightPhoenix
Cham vs TBD
MaNa vs TriGGeR
PiGosaur Monday
7h 48m
OSC
1d 6h
The PondCast
1d 17h
OSC
1d 19h
Wardi Open
2 days
CranKy Ducklings
3 days
Safe House 2
4 days
Sparkling Tuna Cup
4 days
Safe House 2
5 days
Liquipedia Results

Completed

Acropolis #4 - TS2
WardiTV TLMC #15
HCC Europe

Ongoing

BSL 21 Points
ASL Season 20
CSL 2025 AUTUMN (S18)
C-Race Season 1
IPSL Winter 2025-26
EC S1
CS Asia Championships 2025
ESL Pro League S22
StarSeries Fall 2025
FISSURE Playground #2
BLAST Open Fall 2025
BLAST Open Fall Qual
Esports World Cup 2025
BLAST Bounty Fall 2025
BLAST Bounty Fall Qual
IEM Cologne 2025

Upcoming

SC4ALL: Brood War
BSL Season 21
BSL 21 Team A
RSL Offline Finals
RSL Revival: Season 3
Stellar Fest
SC4ALL: StarCraft II
eXTREMESLAND 2025
ESL Impact League Season 8
SL Budapest Major 2025
BLAST Rivals Fall 2025
IEM Chengdu 2025
PGL Masters Bucharest 2025
Thunderpick World Champ.
TLPD

1. ByuN
2. TY
3. Dark
4. Solar
5. Stats
6. Nerchio
7. sOs
8. soO
9. INnoVation
10. Elazer
1. Rain
2. Flash
3. EffOrt
4. Last
5. Bisu
6. Soulkey
7. Mini
8. Sharp
Sidebar Settings...

Advertising | Privacy Policy | Terms Of Use | Contact Us

Original banner artwork: Jim Warren
The contents of this webpage are copyright © 2025 TLnet. All Rights Reserved.