Regions of the Complex Plane

Note \@{complex-regions-overlap-note} This overlaps with the definitions in Metric Spaces - I need to combine these!

An $\epsilon$ -neighborhood of a point $z_0$ is the set of all complex numbers $z$ satisfying

$| z - z_0 | < \epsilon.$

This is the set of all complex numbers interior to a circle of radius $\epsilon$ and center $z_0$ , but not including the circumference of the circle.

A point $z$ of a set $S$ of complex numbers is called an interior point of $S$ if there exists an $\epsilon$ -neighborhood of $z$ that contains only points of $S$ .

On the other hand, $z$ is a boundary point of $S$ if every $\epsilon$ -neighborhood of $z$ contains at least one point of $S$ and at least one point not in $S$ . The set of all boundary points of a set $S$ is called the boundary of $S$ .

A set $S$ of complex numbers is said to be open if all points in $S$ are interior points. Alternatively, a set is open if it contains none of its boundary points.

A set $S$ of complex numbers is said to be closed if it contains all of its boundary points.

Note that a set can be both open and closed! Both the empty set and $\complexes$ are both open and closed.

A set $S$ of complex numbers is said to be bounded if there exists a positive (real) number $R$ such that $\|z\| < R$ for all $z$ in $S$ . This means that a set is bounded if all its points fit within a circle of finite radius. A set that is not bounded is said to be unbounded.

S

Definition: Domain \@{domain} A domain is an open connected set. Note that this is not the same as a domain of definition of a function. Referenced by (19 direct, 90 transitive)Direct references:Path Independentremark-12closed-path-of-path-independent-integral-is-zerotheorem-19Green's TheoremVolume IntegralDivergence Theorem of GaussStoke's TheoremDerivatives of Complex FunctionsHarmonic FunctionsElementary FunctionsContour IntegralIndepenence of Path of Contour IntegralsCauchy's Integral TheoremCauchy Integral TheoremTaylor Expansion TheoremResidue IntegrationSeparation of VariablesRandom VariableTransitive (depth 1):proof-of-cauchys-integral-theoremproof-of-integral-of-one-over-z-around-unit-circletheorem-7-intuitionA/B TestAbsolutely Continuous Random VariableBinomial Distributionchebyshev-fishChebyshev's Inequalitychebyshevs-inequality-noteCumulative Distribution FunctionDiscrete Random VariableEntropyExpected ValueJensen's Inequalitymarkov-inequality-fishMarkov's InequalityMoment Generating FunctionNegative Binomial DistributionNormal Approximation to the BinomialNormal DistributionPoisson Approximation to the BinomialPoisson DistributionProbability Distributionproof-of-chebyshevs-inequalityremark-14Self-InformationStandard Normal DistributionState Spacetheorem-16Uniform DistributionUniform distribution maximizes entropyVarianceTransitive (depth 2):Hypergeometric Distributionproof-of-law-of-large-numbersIdentically DistributedIndependent and Identically DistributedMutual IndependencePairwise IndependenceGeometric DistributionCross-Entropydoubly-stochastic-maps-increase-entropy-intuitionEntropy RateGibbs' InequalityChain rule for joint entropyjoint-entropy-is-less-than-or-equal-to-entropy-of-partsKL DivergenceNoiseless channel transmitting discrete symbolsnote-25note-8proof-of-concavity-of-entropyproof-of-doubly-stochastic-maps-increase-entropyproof-of-joint-entropy-is-less-than-or-equal-to-entropy-of-partsproof-of-uniform-distribution-maximizes-entropytheorem-12Weak Asymptotic Equipartition PropertyInterpretationproof-of-markovs-inequalityproof-of-weak-asymptotic-equipartition-propertyproof-of-gibbs-inequalityproof-of-log-sum-inequalityMoment Generating Function of a SumSum of Independent Normal Random VariablesSum of Independent Poisson Random VariablesConditional Probability DistributionProduct Distributionnote-15remark-8note-3concavity-of-entropy-intuitionConfidence Interval for a Mean, Known VarianceConfidence Interval for a Mean, Unknown VarianceStandard Deviationvariance-interpretationTransitive (depth 3):proof-of-joint-is-marginal-times-conditionalModel TrainingStrong Asymptotic Equipartition Property (Shannon--McMillan--Breiman)proof-of-nonnegativity-of-conditional-mutual-informationproof-of-nonnegativity-of-conditional-relative-entropyproof-of-nonnegativity-of-mutual-informationproof-of-nonnegativity-of-relative-entropyLaw of Large Numbersproof-of-chain-rule-for-entropyproof-of-mutual-information-and-entropyproof-of-theorem-54remark-32Multiplication Rule for DistributionsMutual Informationtheorem-7Central Limit TheoremTransitive (depth 4):proof-of-chain-rule-for-relative-entropy

In the images below, a dashed line represents a boundary that is not included the in the set, while a solid line represents a boundary that is included in the set.

Squiggly blue highlighter indicates the set goes on forever and the party never ends!

Regions of the Complex Plane