Is this one connected curve, or two? Bet you can't explain why...

Morphocular

18 Oct 202223:33

EducationalLearning

32 Likes 10 Comments

TLDRThis script explores the concept of connectedness in topology through the lens of the 'Topologist's Sine Curve', a transformation of the sine function where x is replaced with its reciprocal. It challenges the intuitive notion of a connected shape by demonstrating that the sine curve, despite appearing to touch on either side of the y-axis, is disconnected when defined by continuous paths. The video delves into alternative definitions, including the standard 'touching subsets' definition, which considers the curve connected due to overlapping boundaries. The script highlights the subjectivity in mathematical definitions and the importance of understanding the motivation behind them, emphasizing the creativity involved in mathematical concepts.

Takeaways

📚 The script discusses the transformation of the sine function graph by replacing the x-coordinate of every point with its reciprocal, resulting in a shape known as the 'Topologist's Sine Curve'.
🔄 This transformation turns the graph inside-out horizontally around the vertical lines x = 1 and -1, causing the curve to oscillate wildly near the origin and creating a gap at x = 0.
🌀 The 'Topologist's Sine Curve' has an infinitely oscillating behavior near the origin due to the compression of the sine function's oscillations into a small space.
💭 The script poses the question of whether filling in the gap at the origin with a range of y-values connects the two halves of the curve, leading to a discussion on the concept of connectedness in topology.
🤔 It challenges the viewer to come up with an intuitive definition of connectedness and then refine it into a precise mathematical definition that can be applied universally.
🔍 The script introduces the idea of a 'path' in topology as a continuous function that connects two points within a shape, and uses this to explore the connectedness of the Topologist's Sine Curve.
🚫 The Topologist's Sine Curve is found to be disconnected according to the path definition, as there is no continuous path that can cross the y-axis without an undefined y-value at the origin.
🔄 The script then proposes an alternative definition of connectedness based on the inability to split a shape into two non-touching pieces, and explores the implications of this definition.
📉 The concept of 'interior', 'exterior', and 'boundary' of a set in topology is explained, and these concepts are used to refine the definition of when two shapes are considered to 'touch'.
🔗 The refined definition suggests that the Topologist's Sine Curve might be connected, as it seems to always have overlapping boundaries when split, indicating that the two halves touch.
🎯 The script highlights the subjectivity in choosing a mathematical definition that best captures an intuitive concept and the importance of understanding the motivation behind mathematical definitions.

Q & A

What transformation is applied to the graph of y = sin(x) to create the Topologist's Sine Curve?
-The transformation involves replacing the x-coordinate of every point on the curve with its reciprocal, 1/x. This turns the graph inside-out horizontally around the vertical lines x = 1 and -1.
Why does the curve wiggle intensely near the origin after the transformation?
-The intense wiggling near the origin is due to the compression of the infinitely-many oscillations of the sine function into a tiny space around the origin, as a result of swapping the positions of 0 and infinity on the x-axis.
What is the gap at the origin in the Topologist's Sine Curve, and why does it occur?
-The gap at the origin occurs because sin(x) does not have a sensible single value at x = infinity, as it never stops oscillating between -1 and 1. This leaves the left half of the curve disconnected from its right half.
What is the Topologist's Sine Curve, and how does it relate to the concept of connectedness?
-The Topologist's Sine Curve is a shape created by transforming the graph of y = sin(x) and filling in the gap at the origin with a range of y-values. It is used to explore the concept of connectedness in topology, questioning whether filling in the gap connects the two halves of the curve.
What is the mathematical definition of a connected shape according to the script?
-A shape is connected if any two points within that shape can be joined together by a path that stays entirely within the shape. A disconnected shape is one where two points cannot be joined with a path that stays inside the shape.
How is a path defined in the context of the script?
-A path is defined as any continuous function f(t) that maps real numbers in the interval [0,1] to points in the space, connecting a point 'a' to a point 'b' where f(0) = a and f(1) = b.
Why is the Topologist's Sine Curve considered disconnected according to the path definition?
-The Topologist's Sine Curve is considered disconnected because there is no continuous path that can cross the y-axis without having an undefined y-value at the origin, thus violating the definition of a continuous function.
What alternative definition of connectedness is proposed in the script, and how does it differ from the path definition?
-The alternative definition proposes that a shape is connected if it cannot be split into two pieces that do not touch each other. This differs from the path definition as it does not rely on the existence of a continuous path but on the overlap of boundaries between subsets.
What is the issue with the alternative definition of connectedness when applied to the union of two open, circular disks that are tangent to one another?
-The issue is that according to the alternative definition, the set should be considered connected because the boundaries of the two open disks overlap. However, intuitively, most people would say it is not connected due to the gap between the disks, highlighting a limitation in the definition.
How does the refined definition of connectedness address the issue with the union of two open, circular disks?
-The refined definition states that two disjoint sets touch each other if their boundaries overlap and at least one of the sets contains part of their common boundary. This excludes the union of two open, circular disks from being considered connected because the overlap point is not a member of either disk.
What is the conclusion about the connectedness of the Topologist's Sine Curve according to the refined definition?
-According to the refined definition, the Topologist's Sine Curve is considered connected because, in all possible ways to split the set, the resulting subsets always touch each other at the vertical strip, which is part of their common boundary.
Why is the standard touching subsets definition of connectedness preferred over the path definition in some contexts?
-The standard touching subsets definition is preferred because it does not rely on the structure of the real numbers and can work in bizarre topological spaces where the path definition might conflict with the space's geometry.
What is the relationship between path connectedness and standard connectedness, and why is one considered stronger?
-Path connectedness is a strictly stronger notion of connectedness than the standard 'touching subsets' notion because any set that is path connected is automatically guaranteed to be connected in the standard sense, but not necessarily the other way around.
What are the alternative definitions of connectedness found in topology textbooks, and how do they relate to the 'touching subsets' definition?
-The alternative definitions state that a topological space is connected if it is NOT the union of two non-empty, disjoint open sets, or if the only sets in it that are both open AND closed are the whole space itself and the empty set. These definitions are equivalent to the 'touching subsets' definition, although the reason why is subtle and not covered in the script.
What is the significance of understanding the motivation behind mathematical definitions, and how does the script encourage this?
-Understanding the motivation behind mathematical definitions is crucial for appreciating the creativity and cleverness that goes into crafting them. The script encourages this by highlighting the ingenuity in defining connectedness and urging viewers to reflect on the motivation behind mathematical definitions they encounter.

Outlines

00:00

🔁 Transformation of the Sine Function

The video begins by discussing the transformation of the sine function graph where the x-coordinate of each point is replaced by its reciprocal, 1/x. This transformation results in the graph turning inside-out around the vertical lines x = 1 and -1. The curve now oscillates intensely near the origin, compressing the sine function's infinite oscillations into a small space. However, this process leaves a gap at the origin, as the sine function does not have a single value at x = infinity. The video introduces the concept of the 'Topologist's Sine Curve', which fills the gap with the full range of y-values, leading to a question about the curve's connectivity. The discussion then shifts to the mathematical definition of connectedness from the field of Topology and the challenge of translating an intuitive notion into a precise mathematical description.

05:03

🔍 Exploring Connectedness and Path Definitions

The video explores the concept of connectedness by examining whether a continuous path exists between any two points on the Topologist's Sine Curve. It is determined that no such path can exist because the curve does not have a unique limiting y-value as x approaches 0. This leads to the conclusion that the curve is disconnected according to the path definition. However, the video challenges this conclusion by suggesting that the curve's two halves might still be considered connected in an intuitive sense, as they 'touch' along the y-axis. This prompts a reevaluation of the definition of connectedness, which could involve the concept of a shape not being split into two pieces that don't touch each other.

10:09

🌐 Topological Concepts and Connectedness

The video introduces topological concepts such as the 'interior,' 'exterior,' and 'boundary' of a set to redefine connectedness. A set is considered connected if it cannot be split into two subsets with disjoint boundaries. The Topologist's Sine Curve is reexamined with this new definition, and it is argued that the curve is indeed connected because the boundaries of the two halves overlap and one of the halves includes the common boundary. This leads to a nuanced understanding of connectedness that accommodates the curve's peculiarities.

15:11

🤔 The Subjectivity of Mathematical Definitions

The video discusses the subjectivity involved in mathematical definitions, particularly in the context of connectedness. It contrasts the path definition of connectedness with the 'touching subsets' definition, noting that while both are valid, they do not always agree. The standard definition preferred by mathematicians is the 'touching subsets' definition, which is more adaptable to various topological spaces. The video also touches on the 'ordered square' as an example where the path definition fails, but the 'touching subsets' definition still holds. It concludes that path connectedness is a stronger condition than standard connectedness.

20:16

📚 The Importance of Mathematical Definitions

The video concludes by emphasizing the importance of understanding and appreciating the creativity behind mathematical definitions. It contrasts the 'touching subsets' definition with the more common definition found in textbooks, which involves the union of non-empty, disjoint open sets. The video explains that these definitions are equivalent, although the reasoning behind this equivalence is complex. It encourages viewers to engage with and understand the motivation behind mathematical definitions, highlighting the ingenuity involved in their creation. The video also acknowledges the support of Brilliant, an online learning platform, and offers a discount for viewers.

Mindmap

Keywords

💡Topologist's Sine Curve

The Topologist's Sine Curve is a mathematical curve obtained by replacing the x-coordinate of every point on the graph of y = sin(x) with its reciprocal, 1/x. This transformation creates a curve that oscillates infinitely near the origin, effectively 'turning inside-out' around the vertical lines x = 1 and -1. The curve is characterized by a gap at the origin (x = 0), where the sine function does not have a single sensible value due to its continuous oscillation between -1 and 1. This curve is central to the video's exploration of the concept of connectedness in topology.

💡Connectedness

Connectedness is a fundamental concept in topology that describes whether a given shape or set can be divided into two parts that do not share common points. In the context of the video, the concept is explored through the lens of the Topologist's Sine Curve, where the traditional understanding of connectedness is challenged by the curve's unique properties. The video discusses two main definitions of connectedness: one based on the existence of continuous paths between points and another based on the 'touching subsets' definition.

💡Continuous Path

A continuous path in the video is defined as a continuous function f(t) that maps real numbers in the interval [0,1] to points in space. It is used to determine if two points within a shape can be connected by a path that remains entirely within the shape. This concept is crucial in the first definition of connectedness presented in the video, where the lack of a continuous path between the left and right halves of the Topologist's Sine Curve suggests that the curve is disconnected.

💡Limit

In the context of the video, a limit is a value that a function or sequence approaches. When discussing the Topologist's Sine Curve, the video mentions that the curve does not have a unique limiting y-value as x approaches 0 because it oscillates more vigorously between y = -1 and 1. This lack of a unique limit is what makes the curve's path function discontinuous at the origin, contributing to the debate over the curve's connectedness.

💡Interior, Exterior, and Boundary

These terms are used in topology to describe specific subsets of a given set of points. The interior consists of points completely surrounded by other points in the set, the exterior includes points outside the set that are far enough away to be enclosed by a 'ball' disjoint from the set, and the boundary is made up of points that are neither interior nor exterior, always intersecting both the set and its complement when a 'ball' is drawn around them. These concepts are used to refine the definition of connectedness in the video.

💡Closed and Open Sets

A closed set is one that contains all of its boundary points, while an open set contains none of its boundary points. These concepts are important in topology for defining the properties of sets and their behavior under various operations. In the video, the Topologist's Sine Curve is analyzed in terms of these set properties to determine whether it can be considered connected based on the boundaries of the subsets formed by splitting the curve.

💡Path Connectedness

Path connectedness is a stronger condition than connectedness, where a set is path connected if there exists a continuous path between any two points within the set. The video contrasts path connectedness with the standard definition of connectedness, noting that while all path connected sets are connected, not all connected sets are path connected. The Topologist's Sine Curve serves as an example where the two definitions do not align.

💡Ordered Square

The ordered square is an example of a topological space that is not connected in the path sense but is connected in the standard sense. It is formed by ordering all points in the unit square according to a dictionary order based on their x and y coordinates. This ordering results in a structure where there is no 'next' segment when moving along the ordered square, making it difficult to define a continuous path between different segments. The video uses this example to illustrate the limitations of the path definition of connectedness in certain topological spaces.

💡Real Number Line

The real number line is a fundamental concept in mathematics representing a one-dimensional continuum that extends without bound in both directions. It is used in the video to discuss the path definition of connectedness, which relies on the geometry of the real number line. The video points out that importing the geometry of the real number line into the concept of connectedness can sometimes conflict with the geometry of the space being described, as seen with the ordered square example.

💡Brilliant.org

Brilliant.org is an online learning platform mentioned in the video for its interactive approach to teaching math and science. The platform integrates problem-solving directly into lessons, offering a wide range of courses and lessons that cover topics from foundational math to advanced subjects. The video praises the platform for its effectiveness in helping users actively engage with the material and solve problems, which is emphasized as a crucial aspect of mastering mathematical concepts.

💡Mathematical Definition

A mathematical definition is a precise statement that explains the meaning of a mathematical term or concept. The video emphasizes the importance and creativity involved in crafting good mathematical definitions, which often go unappreciated. The video encourages viewers to understand the motivation behind definitions and to appreciate the work that goes into creating them, highlighting that definitions are as crucial to mathematics as theorems and proofs.

Highlights

Transformation of the sine function by replacing x with its reciprocal 1/x.

The effect of turning the graph inside-out horizontally around the vertical lines x = 1 and -1.

The curve's intense oscillation near the origin due to the compression of sine function's oscillations.

The gap at the origin in the Topologist's Sine Curve due to the undefined behavior of sin(x) at x = infinity.

The disconnection of the left and right halves of the curve at the origin.

Filling the gap with a range of y-values as a potential solution.

The question of whether filling the gap connects the two halves of the curve.

The mathematical definition of connectedness from the field of Topology.

The challenge of translating an intuitive notion of connectedness into a precise mathematical definition.

The definition of a connected shape based on the ability to travel between any two points within the shape.

The concept of a path as a continuous function f(t) mapping real numbers to points in space.

The Topologist's Sine Curve's lack of a unique limiting y-value as x approaches 0.

The conclusion that the Topologist's Sine Curve is disconnected based on the path definition.

The alternative definition of connectedness based on the inability to split a shape into non-touching pieces.

The Topological concepts of interior, exterior, and boundary of a set.

The refined definition of connectedness involving overlapping boundaries and containment of common boundaries.

The application of the refined definition to the Topologist's Sine Curve, suggesting it is connected.

The subjective nature of mathematical definitions and the preference for the touching subsets definition in Topology.

The relationship between path connectedness and standard connectedness, with path connectedness being a stronger notion.

The standard definition of connectedness in Topology involving the union of non-empty, disjoint open sets.

The equivalence of the standard definition to the touching subsets definition and the ingenuity in mathematical definitions.

The importance of understanding and appreciating the motivation behind mathematical definitions.

Transcripts

Browse More Related Video

Physics: Alternative Ways to Think of Sine and Cosine

Curves we (mostly) don't learn in high school (and applications)

Unit Circle Definition of Trig Functions

GeoGebra - Create Interactive Unit Circle with Sine Curve

05 - Sine and Cosine - Definition & Meaning - Part 1 - What is Sin(x) & Cos(x) ?

Squeeze Theorem for Limits (1)

Related Tags

Topologist's Sine Curve Connectedness Topology Mathematics Curve Transformation Sine Function Infinite Oscillation Path Definition Boundary Points Open Sets